(require "numbers-basics.BRU")
(require "basics.BRU")
[(2 (succ 1))
 (3 (succ (succ 1)))
 (4 (succ (succ (succ 1))))
 (5 (succ (succ (succ (succ 1)))))
 (6 (succ (succ (succ (succ (succ 1))))))
 (7 (succ (succ (succ (succ (succ (succ 1)))))))
 (+ (\m(\n ((m succ) n))))
 (** (\b(\e (e b))))       
 (- (\m(\n (n pred m))))
 (⋅ *)]