T304
(<=> (= x y) (= y x))
Proof Trace