More LISP-correctness