J018
(=> (forall ?X (forall ?Y (= ?X ?Y))) (forall ?X (forall ?Y (= ?X ?Y))))
Proof Trace