(+ 1 (+ 2 3))