On variable domain semantics (Kripke 1963), individuals may exist in some worlds but not others, so ...