 There are two sets of reasons for denying that existence is a property of individuals. The first is Hume and Kant’s puzzlement over what existence would add to an object. What is the difference between a red apple and a red existing apple? To be red (or even to be an apple) it must already exist, as only existing things instantiate properties. (This principle—that existence is conceptually prior to predication—is rejected by Meinongians.) Saying it is red and an apple and furthermore exists is to say one thing too many. The thought seems to be that instantiating any property whatsoever presupposes existence and so existence is not a further property over and above a thing’s genuine properties. The thought is not merely that everything that instantiates any property exists, as the same is true of being self-identical, being either human or not human—assuming the law of excluded middle—and being such that 2+2=4, all of which seem to be unproblematic properties of individuals even if that status is denied of existence. Instead the thought is that instantiating any property whatsoever conceptually presupposes the existence of a subject in a way that makes it incoherent to then think of existence as a further property of that thing. The thing’s existence is prior to any predication to it and so it is incoherent to think of existence as a property had by the thing. This thought is behind Aristotle’s thesis that existence is not a further feature of a thing beyond its essence.