1 KS=4!1!2!5!3!NIL 10 DEFUN LESSER(P,X)=X