Update naturals-choose.tex