T273
(<=> (exists ?X (and (F1 ?X) (P0))) (and (exists ?X (F1 ?X)) (P0)))
Proof Trace