add to demo.lisp