ID005
(=> (= a b) (= b b))
Proof Trace