ID004
Premises:
(= a b)
Conclusion:
(= b a)
Proof Trace