ordinary induction