(+ 5 5)