The Lisp2 from Chapter 2 is now a Lisp3