 Given E!Def*, the observation above—that the equivalence of necessity and impossible falsehood at a world only holds for the propositions that exist there—can now be expressed axiomatically in the schema: