              Subsequently, without expressly reversing his judgment about the existence of a science of being, Aristotle announces that there is nonetheless a science of being qua being (Met. iv 4), first philosophy, which takes as its subject matter beings insofar as they are beings and thus considers all and only those features pertaining to beings as such—to beings, that is, not insofar as they are mathematical or physical or human beings, but insofar as they are beings, full stop. Although the matter is disputed, his recognition of this science evidently turns crucially on his commitment to the core-dependent homonymy of being  itself.[13]   Although the case is not as clear and uncontroversial as Aristotle’s relatively easy appeal to health (which is why, after all, he selected it as an illustration), we are supposed to be able upon reflection to detect an analogous core-dependence in the following instances of exists: