Some working induction examples.