More induction examples