pushing lisp out