 Many actualists strongly agree, for the following reason: predicates express properties and relations. Hence, if a (1-place) predicate \(\pi\) is true of an individual \(a\) at a world \(w,\) it means that \(a\) exemplifies the property that \(\pi\) expresses at \(w\). But (these actualists continue) it is surely an undeniable metaphysical principle—dubbed serious actualism by Plantinga (1983)—that an object must exist, must be identical with something, in order to exemplify properties; an object cannot both be utterly absent from a world and yet have properties there. To rule this prospect out in Kripke’s model theory, then, rather than allowing an n-place predicate’s extension at a world to contain arbitrary n-tuples of individuals, we need to restrict \(\pi\)’s extension at \(w\) to n-tuples of individuals in \(w\). More formally put, we need to replace the offending condition \(\pi_w^\calK \subseteq D^n\) with the more felicitous condition \(\pi_w^\calK \subseteq \textit{dom}(w)^n.\)