 The naive comprehension principle, then, must be rejected and a restricted principle connecting sets of properties with objects be put in its place.  The principle should generate enough objects to serve the Meinongian purpose of ensuring a corresponding object for every thought while avoiding the problems discussed above. We can distinguish two strategies, both suggested by Meinong’s student Ernst Mally [Mally 1912]. The first distinguishes two kinds of properties, what, following Terence Parsons [Parsons 1978, 1980], we shall call nuclear and extra-nuclear properties. While the distinction remains ultimately unclear, the key idea is that nuclear properties are part of a thing’s nature, broadly construed, and extra-nuclear properties are external to a thing’s nature; more precisely, nuclear properties, but not extra-nuclear properties, are part of the characterization of what the object is. The comprehension principle is then restricted to conditions involving only nuclear predicates.  Problematic properties, like existing, etc., are deemed extra-nuclear and beyond the scope of the comprehension principle, not determining the objects that there are. Nuclear, not extra-nuclear, properties individuate objects. The second Meinongian camp distinguishes two modes of predication: What Mally called determining and satisfying, Hector-Neri Castañeda [Castañeda 1974, 1975,1978, 1980, 1986, 1989, 1990] called internal and external predication, William Rapaport [Rapaport 1978] called constituency and exemplification, Kit Fine [Fine 1982] called implicit and explicit, and Edward Zalta [Zalta 1983, 1988] called encoding and exemplifying. There is, on this view, a single class of properties that the comprehension principle ranges over, but the principle determines the properties encoded not exemplified (to follow Zalta’s terminology) by the object characterized. For every condition, there is a unique object that encodes just those properties. An object may or may not exemplify the properties it encodes. Sherlock Holmes encodes the properties of being a detective and living at 221B Baker Street, etc., but he does not exemplify those properties. He exemplifies (but does not encode) the properties of being a fictional character and being the hero of Arthur Conan Doyle’s Holmes stories. The properties an object exemplify are not, on this view, a matter of mere stipulation.