Extended Induction and Transition