J017
(=> (exists ?X (forall ?Y (= ?X ?Y))) (exists ?X (forall ?Y (= ?X ?Y))))
Proof Trace