I imagine you can perform operations on query plans to transform them and determine equivalence?