 As we saw in  §4.1.3  above, the problem with KQML for actualists is that an intended Kripke interpretation for an applied modal language \(\scrL_\Box\) appears to involve commitment to possibilia no less than SQML—to get the truth values of propositions like  (2)  right, an intended Kripke interpretation \(\calK\) for \(\scrL_\Box\) will still have to include mere possibilia like Bergoglio’s merely possible children; indeed, but for the addition of the domain function \(\textit{dom}\) on worlds tacked on to invalidate the problematic validities of SQML, \(\calK\) will be indistinguishable from an intended SQML interpretation of \(\scrL_\Box\). Plantinga’s diagnosis, roughly put, is that Kripke’s semantics gets the structure of the modal universe right but that it needs his worlds and haecceities to realize that structure in an actualistically acceptable way. Specifically, an intended haecceitist interpretation \(\calH\) for an applied modal language \(\scrL_\Box\) is a Kripke interpretation that specifies sets \(D\) and \(W\) as usual, but \(W\) is a sufficiently expansive set of Plantinga’s maximal possible states of affairs and \(D\) a corresponding set of haecceities. The domain function \(\textit{dom}\) as usual will map each possible world \(w\) to a subset of \(D,\) i.e., to a set of haecceities that Plantinga refers to as the essential domain of \(w\). This is the set of haecceities that are exemplified in \(w,\) where a haecceity \(h\) is exemplified in \(w\) just in case \(w\) includes the state of affairs \(h\)’s being exemplified. Otherwise put, the essential domain \(\textit{dom}(w)\) of \(w\) consists of those haecceities that would have been exemplified if \(w\) had obtained. Since, as noted above, haecceities are necessary beings that exist even if unexemplfied, they can serve as actually existing “proxies” for the individuals there would have been had \(w\) obtained (Bennett 2006). In this way, Plantinga’s haecceitist interpretations can represent the possibilist’s non-actual worlds and their merely possible inhabitants without incurring any possibilist commitments.