DEF FN f(n) = VAL (("1" AND n<=0) + ("n*FN f(n-1)" AND n>0))