3.1.lisp all