(define).. [fact n
[fact01 n 1

(define).. [fact01 n acc
(or)....

(and).. [< n 0
[errDOMAIN

(and).. [< n 2
acc

(and).. [> n 1
(fact01).. [- n 1
[* n acc

[errCASE