Existential Quantifier Ordering
Channel: Carson Cook
Date: 2017-05-30

For a function bound to two existential quantifiers, reversing the order of the quantifiers results in the same statement.