Induction tools. Associativity of addition as an example.