NT253
(<= (exists ?X (forall ?Y (F ?X ?Y))) (forall ?Y (exists ?X (F ?X ?Y))))
Proof Trace