Implement the 7 Lisp functions