              Aristotle’s illustration does succeed in showing that there is conceptual space between mere family resemblance and pure univocity. So, he is right that these are not exhaustive options. The interest in this sort of result resides in its exportability to richer, if more abstract philosophical concepts.  Aristotle appeals to homonymy frequently, across a full range of philosophical concepts including justice, causation, love, life, sameness, goodness, and body. His most celebrated appeal to core-dependent homonymy comes in the case of a concept so highly abstract that it is difficult to gauge his success without extended metaphysical reflection. This is his appeal to the core-dependent homonymy of being, which has inspired both philosophical and scholarly controversy.[11] Aristotle denies that there could be a science of being, on the grounds that there is no single genus being under which all and only beings fall (SE 11 172a13–15–15; APr. 92b14; Met. B 3, 998b22; EE i 8, 1217b33–35). One motivation for his reasoning this way may be that he regards the notion of a genus as  ineliminably taxonomical and contrastive,[12]   so that it makes ready sense to speak of a genus of being only if one can equally well speak of a genus of non-being—just as among living beings one can speak of the animals and the non-animals, viz. the plant kingdom. Since there are no non-beings, there accordingly can be no genus of non-being, and so, ultimately, no genus of being either.  Consequently, since each science studies one essential kind arrayed under a single genus, there can be no science of being either.