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