 Plantinga’s haecceitist semantics is decidedly not of this sort.  Recall,  in particular, that Plantinga defines a possible world to be a maximal possible state of affairs. Spelling this definition out explicitly in the truth condition for necessitations (under an intended haecceitist interpretation \(\calH\)) then yields: