(= 1 (= 2 3))