(define (add n1 n2)
  (cond
    [(= n1 0) n2]
    [else (add (sub1 n1) (add1 n2))]
  )
)

(add 2 2)
(add 0 1)