3.6.lisp modified