induction principles