Now if x's are (identificationally) basic with respect to y's, and it is a necessary condition of including either x's or y's in our ontology that we can identify them, it follows that it is a necessary condition of including y's in our ontology that we can identify x's.