* (define fac (lambda (n) (if ((eq n 0) 1) (1 (* n (fac (+ n -1)))))))
* (if ((eq 0 1) 0) ((eq 1 1) 1))
* (if ((eq 0 1) 0) ((eq 0 2) 0) (1 (+ 1 2 3 4)))