 Note, first, that this problem, if it is a problem, has nothing especially to do with the identity theory of truth or with facts. It seems to arise already for true propositions and propositions taken simpliciter before ever we get to the topic of facts. That is, one might think that the proposition that Socrates is wise is identical with the true proposition that Socrates is wise (assuming, as we are doing, that this proposition is true); but we then face the objection that the proposition taken simpliciter and the true proposition differ in their modal properties, since (as one might suppose) the true proposition that Socrates is wise does not exist at worlds where the proposition that Socrates is wise is false, but the proposition taken simpliciter does. Indeed the problem, if it is a problem, is still more general, and purported solutions to it go back at least to the Middle Ages (when it was discussed in connection with Duns Scotus’ formal distinction; see Gaskin 2002 [with references to further relevant literature]). Suppose that Socrates is a cantankerous old curmudgeon. Now grumpy Socrates, one would think, is identical with Socrates. But in some other possible worlds Socrates is of a sunny and genial disposition. So it would seem that Socrates cannot be identical with grumpy Socrates after all, because in these other possible worlds, while Socrates goes on existing, grumpy Socrates does not exist—or so one might argue.