 Haecceities are thus the key to Plantinga’s answers to both prongs of possibilism’s  twofold challenge to actualism.  First, Plantinga’s haecceitist semantics delivers a compositional theory of truth conditions that grounds general de dicto modal propositions like  (2)  systematically in the modal properties of individuals of a certain sort—specifically, coexemplification relations that haecceities stand in with other properties at possible worlds. Second, his haecceitist semantics enables him to adopt KQML (with the serious actualism constraint) without modification and, hence, to have a robust quantified modal logic that has no possibilist commitments.