added natural numbers cf