  If we attempt to analyze this decompositionally, taking its  grammatical form to mirror its logical form, then we find ourselves  asking what these unicorns are that have the property of  non-existence. We may then be forced to posit the  subsistence—as opposed to existence—of  unicorns, just as Meinong and the early Russell did, in order for  there to be something that is the subject of our statement. On the  Fregean account, however, to deny that something exists is to say  that the relevant concept has no instances: there is no need to posit any mysterious object. The Fregean analysis of (0a) consists in rephrasing it into (0b), which can then be  readily formalized in the new logic as (0c):