 If "P" is true at all possible worlds and what we know are sets of possible worlds, then it is not possible "not" to know that "P", for "P" is the case at all possible worlds in the set of worlds that we know.So if "P" is necessary then we know it necessarily, and "ipso facto" we know it a priori.Under two-dimensionalism, the problem disappears.