T2-251
(<=> (forall ?X (forall ?Y (F ?X ?Y))) (forall ?Y (forall ?X (F ?X ?Y))))
Proof Trace