 However, this formula is valid in every extended Kripke model for the simple reason that its truth at a world in a model only requires the existence of a maximally specific proposition, one which is true at exactly one world.