:make natural-numbers