  A more sophisticated version of the specification objection has been advanced by Walker (1989); for a discussion, see Wright (1995). Walker argues as follows. In responding to Russell’s version of the specification objection, coherentists claim that some set of propositions, call it S, is believed. They are committed to the truth of (3) “S is believed.” The question of what it is for (3) to be true then arises. Coherence theorists might answer this question by saying that “‘S is believed’ is believed” is true. If they give this answer, they are apparently off on an infinite regress, and they will never say what it is for a proposition to be true. Their plight is worsened by the fact that arbitrarily chosen sets of propositions can include propositions about what is believed. So, for example, there will be a set which contains “Jane Austen was hanged for murder,” “‘Jane Austen was hanged for murder’ is believed,” and so on. The only way to stop the regress seems to be to say that the truth conditions of (3) consist in the objective fact S is believed. If, however, coherence theorists adopt this position, they seem to contradict their own position by accepting that the truth conditions of some proposition consist in facts, not in propositions in a set of beliefs.