Simplify new induction principle.