Update naturals-definitions.tex