(require "logic.BRU")
[(0     (\s(\z z)))
 (1     (\s(\z (s z))))
 (succ  (\n(\f(\x (f (n f x))))))                
 (pred  (\n(\f(\x(((n (\g(\h(h (g f))))) (\u x)) (\u u))))))
 (zero? (\n ((n (\x #f)) #t)))
 (* compose)]