(+ 2 5)