  And to these, of course, is added the critical modal case that  explicitly interprets the modal operator to be a quantifier over  worlds, as we'd initially anticipated informally in our principle   Nec:  