correct added by int0X80 on Thu Jan 24 09:41:01 2013

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