Added done for pi.lisp