 The reader may be wondering why this problem was ever raised against the identity theory of truth in the first place. After all, the identity theorist does not say that propositions simpliciter are identical with facts, but that true propositions are identical with facts, and now true propositions and facts surely have exactly the same modal properties: for regardless how things are with the sheer proposition that Socrates is wise, at any rate the true proposition that Socrates is wise must surely be thought to exist at the same worlds as the fact that Socrates is wise, whatever those worlds are. However, as against this quick way with the purported problem, there stands the intuition, mentioned and exploited above, that the true proposition that Socrates is wise is identical with the proposition that Socrates is wise. So long as that intuition is in play, the problem does indeed seem to arise—for true propositions, in the first instance, and then for facts by transitivity of identity. But the identity theorist will maintain that, as explained, the problem has a satisfactory solution.