  Some correspondence theories of truth are two-liner mini-theories, consisting of little more than a specific version of (1) or (2). Normally, one would expect a bit more, even from a philosophical theory (though mini-theories are quite common in philosophy). One would expect a correspondence theory to go beyond a mere definition like (1) or (2) and discharge a triple task: it should tell us about the workings of the correspondence relation, about the nature of facts, and about the conditions that determine which truthbearers correspond to which facts.