T272
(<=> (forall ?X (and (F1 ?X) (P0))) (and (forall ?X (F1 ?X)) (P0)))
Proof Trace