RLg li 10 prlisp.