 P* is to be understood by contrast to a theory of predication according to which every true predication of the form ‘a is F’ is to be explained in terms of an individual’s exemplifying of a property. Now consider the essential predication, ‘God is omniscient.’ Given that a truthmaker of a truth t is an entity whose existence broadly logically necessitates the truth of t, God himself is plausibly viewed as the truthmaker of ‘God is omniscient’ and like essential predications. For in every possible world in which God exists, these essential predications (or the propositions they express) are true. In the case of essential as opposed to accidental predications, truthmakers need not be taken to be concrete states of affairs, and so need not be taken as involving exemplifiable entities. Socrates himself is not plausibly taken to be the truthmaker of the accidental ‘Socrates is wise’ (or the proposition it expresses) because there are possible worlds in which Socrates exists but the predication is not true; Socrates is, however, plausibly taken to be the truthmaker of the essential ‘Socrates is human.’