Then, assuming that we can specify a kind (in 's vocabulary), such that there is only one object of that kind that includes the region occupied by it, we can then specify the object as the one of kind occupying a region containing the first rational point in the enumeration.