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