Revised Induction.