factorial: n = (|r <- 1| 1 to: n + 1 Do: [|:i| r: r * i]. r)