 Tarski’s theory shows how truth for a sentence is determined by certain properties of its constituents; in particular, by properties of reference and satisfaction (as well as by the logical constants). As it is normally understood, reference is the preeminent word-to-world relation. Satisfaction is naturally understood as a word-to-world relation as well, which relates a predicate to the things in the world that bear it. The Tarskian recursive definition shows how truth is determined by reference and satisfaction, and so is in effect determined by the things in the world we refer to and the properties they bear. This, one might propose, is all the correspondence we need. It is not correspondence of sentences or propositions to facts; rather, it is correspondence of our expressions to objects and the properties they bear, and then ways of working out the truth of claims in terms of this.