The view that the truth of a proposition consists in its being a member of some suitably defined body of other propositions: a body that is consistent, coherent, and possibly endowed with other virtues, provided these are not defined in terms of truth. The theory, though surprising at first sight, has two strengths: