Update naturals-induction.tex