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