The validation of induction