More induction ...