well-ordered induction