: fact(n)  n ifZero: [ 1 ] else: [ n n 1- fact * ] ;