LISP, chapters 7 & 8