 To further the contrast with the neo-classical correspondence theory, we may add that a proposition is true if it is the content of a belief in the system, or entailed by a belief in the system. We may assume, with Joachim, that the condition of coherence will be stronger than consistency. With the idealists generally, we might suppose that features of the believing subject will come into play. 