natural-numbers was WAY too complicated