J015
(=> (forall ?X (P ?X)) (forall ?X (forall ?Y (and (P ?X) (P ?Y)))))
Proof Trace