LISP, chapters 4 & 5