Do you envision scenarios where this new expressiveness is used in strategic but not market efficient ways? For instance, in the SNAP example, presumably the correlate to price improvement when purchasing as a substitutable hedge is a price premium when purchasing a specific equity, as market participants can deduce -- in a way that they previously could not -- that there's something inherent to SNAP that one (or the market) values. I don't know if it's possible under the mechanics of your ATS, but this seems to produce an incentive to obfuscate such a purchase of SNAP specifically, potentially in ways that detract from market efficiency. Am I off base? To put it more generally I wonder whether this higher dimensionality might not lead to more sophisticated game-theoretic posturing, rather than less.