Update naturals-inclexcl.tex