 This theory is offered as an analysis of the nature of truth, and not simply a test or criterion for truth. Put as such, it is clearly not Joachim’s theory (it lacks his monism, and he rejects propositions), but it is a standard take on coherence in the contemporary literature. (It is the way the coherence theory is given in Walker (1989), for instance. See also Young (2001) for a recent defense of a coherence theory.) Let us take this as our neo-classical version of the coherence theory. The contrast with the correspondence theory of truth is clear. Far from being a matter of whether the world provides a suitable object to mirror a proposition, truth is a matter of how beliefs are related to each-other.