(math (= (+ 1 1) 2))