3.9.lisp ok