(define factorial 
    0 -> 1  
    X -> (* X (factorial (- X 1))))