T2-252
(<=> (exists ?X (exists ?Y (F ?X ?Y))) (exists ?Y (exists ?X (F ?X ?Y))))
Proof Trace