 The correspondence theory of truth expresses the very natural idea that truth is a content-to-world or word-to-world relation: what we say or think is true or false in virtue of the way the world turns out to be. We suggested that, against a background like the metaphysics of facts, it does so in a straightforward way. But the idea of correspondence is certainly not specific to this framework. Indeed, it is controversial whether a correspondence theory should rely on any particular metaphysics at all. The basic idea of correspondence, as Tarski (1944) and others have suggested, is captured in the slogan from Aristotle’s Metaphysics Γ 7.27, “to say of what is that it is, or of what is not that it is not, is true” (Ross, 1928). ‘What is’, it is natural enough to say, is a fact, but this natural turn of phrase may well not require a full-blown metaphysics of facts. (For a discussion of Aristotle’s views in a historical context, see Szaif (2018).)