3.8.lisp ok