 The axioms for propositional quantification are sound with respect to the class of extended Kripke models for quantified propositional modal logic. Unfortunately, they are not complete with respect to the same class, since they do not allow us to derive the following as a theorem: