LISP--HOPL talks