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 take