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