(+ 8 8)