ID001
(= a a)
Proof Trace