pr lisp. ; Halm , 10a