Added validation.lisp