Working on Chapter 7 of On Lisp.