# factorial = int.eq? n 1 # 1 # int.multiply n (factorial (int.decrement n)); # factorial 10; true (id 1) (id 2);