---

(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

---