lambda calculus: page 1