(define zero
   ->  [lambda x x])
   
(define succ
         ->  [lambda x [(tuple) (f) x]])

(define zero?
            -> [lambda x [x (t)]])
            
(define pred
   -> [lambda x [(if*) [(zero?) x] error! [(second) x]]])
   
(aor+ [(zero?) (zero)])

(aor+ [(pred) [(succ) (zero)]])