 A Note on “Serious” Actualism. KQML takes over the semantics of predicates from SQML  without modification: by the above condition \(\pi_w^\calK \subseteq D^n,\) the extension \(\pi_w^\calK\) that a Kripke interpretation \(\calK\) assigns to a predicate at a world consists of arbitrary n-tuples of individuals in \(D.\) However, as Kripke himself (1963b, p. 86, fn 1) notes,