T253
(=> (exists ?X (forall ?Y (F ?X ?Y))) (forall ?Y (exists ?X (F ?X ?Y))))
Proof Trace