Natural induction