 It is important to be clear on the fact that coexemplification at a world is primitive here, and not definable in terms of exemplification. Of course, if a (monadic) atomic formula \(\pi\nu\) is in fact true in an intended haecceitist interpretation \(\calH,\) i.e., if it is true at the actual world \(w^\ast,\) then there is an object that exemplifies both \(\nu^\calH\) and \(P_\pi\)—notwithstanding the fact that this implication is not itself represented in \(\calH,\) since \(\textit{dom}(w^\ast)\) only contains haecceities, not the objects that exemplify them. However, it is critical not to generalize this implication and take the coexemplification of two properties—notably, a haecceity \(h\) and some property \(P\)—at a world \(w\) to imply that there is something that exemplifies them at \(w\). For if that were so, then the truth conditions for the likes of  (2)  would once again entail that there are possibilia, and Plantinga could rightly be accused of being committed to them—he simply ignores them in his haecceitist model theory. But the correct implication is this: if \(\pi\nu\) is true\(_{w}^\calH\), so that \(\nu^\calH\) is coexemplified with \(P_\pi\) at \(w,\) then, had \(w\) obtained, there would have been an individual that would have exemplified both \(\nu^\calH\) and \(P_\pi\). Importantly, though, the fact that \(\nu^\calH\) is coexemplified with \(P_\pi\) at \(w\) stands on its own; it does not hold in virtue of the corresponding counterfactual. Indeed, the dependency goes in the other direction: that there could have been an individual with \(P_\pi\) (and would have been had \(w\) obtained) is true in virtue of the fact that some (actually existing) haecceity is possibly coexemplified with \(P_\pi\).