pr lisp. ; 58 a62