Lambda Calculus and Lisp, part 1