(when 10 (+ 7 8))