 It is probably fair to say that at the current stage of the debate the ‘modes of predication’ distinction is more widely accepted, although as far as fictional entities at least are concerned, both distinctions are taken to be problematic (Everett 2013). We should remember, however, that this debate is internal to neo-Meinongianism, and that neo-Meinongianism as a theory of fictional objects has important virtues that owe nothing to the outcome of this debate. One such virtue is that the theory can account for the idea that fictional entities necessarily have the properties that they are characterized as having in the relevant stories. It is hard to see how Holmes could not have been a detective, for example. Of course, Doyle might have written a story in which someone called ‘Holmes’ was a film director, but it is hard not to interpret this thought as simply meaning that Doyle might have created another character with the same name. At the same time, it is a plain truth of the Holmes stories that Holmes might never have become a detective, that this was a purely contingent choice on Holmes’s part. No matter how it is formulated, neo-Meinongianism has a way of capturing both these intuitions. On Zalta’s formulation of the ‘modes of predication’ distinction, for example, Holmes exemplifies the property of being necessarily such that he encodes both being a detective and being someone who might not have been a detective. A neo-Meinongian advocating the ‘types of property’ distinction would say that Holmes has the extranuclear property of being necessarily such that he has the (nuclear) property of being a detective, but that he also has the (watered-down) nuclear property of being someone who might not have been a detective.