(= (= 1 2) 3)