reformat
add zero? predicate
letrec example