Added resolve.lisp