(define (+ a b) (if (= a 0) b (1+ (+ (- a 1) b))))