Th267-gA
(<=> (forall ?X (=> (F ?X) (forall ?Y (G ?X ?Y)))) (forall ?Y (=> (F ?Y) (G ?Y ?Y))))
Proof Trace