A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction.