 Likewise for n-place atomic formulas generally: \(\rho\nu_1\ldots\nu_n\) is true at \(w\) just in case the haecceities \(\nu_1^\calH, \ldots, \nu_n^\calH,\) respectively, are coexemplified with the relation \(R_\rho\) that \(\rho\) expresses in \(w\). Plantinga’s haecceitism thus delivers the same sort of systematic, compositional account of the truth conditions for modal propositions as possibilism but without the commitment to unactualized possibilia.