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 tru...