T263
(<=> (<=> (forall ?X (F ?X)) (exists ?X (G ?X))) (exists ?X (exists ?Y (forall ?Z (forall ?W (and (=> (F ?X) (G ?Y)) (=> (G ?Z) (F ?W))))))))
Proof Trace