. . 5 a 6 : — prlisp.