  Mally’s theory of objects has been acknowledged and validated in Zalta 1983 and 1988 (see also Rapaport 1978, for an informal development of something like Mally’s view, though the ideas developed there are traced to Meinong, not Mally). Zalta utilizes Mally’s ideas and conceptions in order to establish a full-fledged axiomatic theory of abstract objects that ensures the existence of these objects with the help of comprehension principles. Zalta also translated Mally’s terminology into modern terms by formulating the distinction between an object x instantiating and being determined by a property F in terms of the distinction between x’s exemplifying property F (‘Fx’) and x’s encoding property F (‘xF’). Zalta calls exemplifying and encoding two (different) “modes of predication”. But there is some controversy as to whether Mally’s distinction in two modes of predication can be reduced to the distinction between nuclear and extranuclear properties (recall, this is a distinction introduced by Mally but adopted by Meinong in his work). Dale Jacquette calls Mally’s introduction of these two modes of predication “Mally’s heresy” (see Jacquette 1989: 3). He tried to show that the distinction between nuclear and extranuclear properties is “more fundamental” than the distinction between two modes of predication in the sense that there is a reduction of the latter to the former but not vice versa (see Jacquette 1989: 5).  However, Zalta showed (1992) that a reduction of two modes of predication to two kinds of property has not yet been developed.  Moreover, Mally’s theory (in modern guise) can cope at least with all the problems Meinong’s theory can solve. Along these lines, Mally’s student Findlay wrote, 