Work on new induction principle ...