I forgot the definition of natural numbers.