(defineq (fact (lambda (n) (cond ((eq n 0) 1) (t (itimes n (fact (sub1 n))))))))