let pred = \n. isZero n 0 (length (tail (n (\p. makeList meh p) nil))) in
let leq = \m n. isZero(n pred m) in
let eq = \m n. and (leq m n)(leq n m) in
let pred = \n. isZero n 0 (length (tail (n (\p. makeList meh p) nil))) in
let leq = \m n. isZero(n pred m) in
let eq = \m n. and (leq m n)(leq n m) in