In a possible world where it is false that p, there is no risk of the identity theorist getting hold of the wrong fact.

Falsity, it seems, now no longer presents a difficulty, because if it is false that p then it is not a fact that p, so that (a) fails, and there is no appropriate candidate for the proposition that p to be identical with.[13] Notice that, in view of the considerations already aired in connection with the modal problem ((i) of this section), caution is here required. Suppose that it is true that p in the actual world, but false in some other possible world. According to the strategy that we hav