T2-315
(<=> (forall ?X (=> (exists ?Y (and (F ?Y) (= ?X (A ?Y)))) (F ?X))) (forall ?X (=> (F ?X) (F (A ?X)))))
Proof Trace