T254
(<=> (exists ?X (exists ?Y (F ?X ?Y))) (exists ?X (exists ?Y (or (F ?X ?Y) (F ?Y ?X)))))
Proof Trace