(PROGN (RPLACD (QUOTE FAC) (QUOTE (EXPR (LAMBDA (N) (COND ((GREATERP 1 N) 1) (T (TIMES (FAC (SUB1 N)) N))))))) (QUOTE FAC))