Updated note on the induction principles for N.