(+ a 1)