lecture notes on lisp 4648356