ID002
(= ?X ?X)
Proof Trace