 Because an intended haecceitist interpretation \(\calH\) for an applied language \(\scrL_\Box\) is a Kripke interpretation (with the serious actualism constraint enforced), every variable \(\nu\) is, as usual, assigned a member \(\nu^\calH\) of the set \(D\) of individuals of \(\calH,\) i.e., a haecceity, and every predicate \(\pi\) is assigned a set \(\pi_w^\calH\) of n-tuples of haecceities in the essential domain of \(w,\) for each world \(w \in W\). Monadic atomic formulas, in particular, are evaluated as usual: \(\pi\nu\) is true\(_w^\calH\) just in case \(\nu^\calH \in \pi_w^\calH\). However, although the formal truth conditions in \(\calH\) for atomic formulas do not differ from those defined for atomic formulas in an intended SQML interpretation \(\calM,\) it is important to understand that, in these different contexts, those formally identical truth conditions represent starkly different metaphysical conditions. Specifically, in an intended SQML interpretation \(\calM,\) that \(\nu^\calM \in \pi_w^\calM\) indicates that, at \(w,\) the (perhaps merely possible) object \(\nu^\calM\) exemplifies the property \(P_\pi\) expressed by \(\pi\). By contrast, in an intended haecceitist interpretation \(\calH,\) that \(\nu^\calH \in \pi_w^\calH\) indicates, not that \(h\) exemplifies \(P_\pi\) at \(w,\) but that it is coexemplified with \(P_\pi\) at \(w\). Thus, for example, the truth condition for  (2)—formalized  as \(\Diamond\exists \sfx\, \sfB\sfx\)—in an intended haecceitist interpretation \(\calH\) is obviously not that there is a possible world in which some haecceity \(h\) is one of Bergoglio’s children—haecceities are properties and, hence, necessarily non-concrete—but, rather, that