 Given the controversial consequences of SQML, it seems clear that actualists need an alternative quantified modal logic on which BF, CBF, and \(\Box\textbf{N}\) fail to be logically true; ideally, it will also have a sound and complete deductive system in which, consequently, those principles are not derivable as theorems. The system of Kripke 1963b satisfies both of these desiderata and, hence, meets the second element of the possibilist’s two-fold challenge; as we will see, whether it meets the first—a satisfying account of the truth conditions for modal propositions like  (2)—is  a more delicate matter.