pr lisp. ; sik4