More discussion in the induction principle for N.