pr lisp. , 67a