Introduction Associativity is often used for recursion removal Example: factorial Definition fact(x) = case (x = 0) of True -> 1 False -> x * fact(x-1) multiplication is associative