For the only condition under which it would seem plausible to say that we could identify x's without including them in our ontology would be the situation in which x's, though identifiable, were thought to be insufficiently basic.But this is not so in the case under discussion, where ex hypothesi the x's are more basic than the y's already included in our ontology.