modified 3.1.lisp of nil