9 * / 2lisp.