 The neo-classical theories of truth start with truth-bearers which are already understood to be meaningful, and explain how they get their truth values. But along the way, they often do something more. Take the neo-classical correspondence theory, for instance. This theory, in effect, starts with a view of how propositions are meaningful. They are so in virtue of having constituents in the world, which are brought together in the right way. There are many complications about the nature of meaning, but at a minimum, this tells us what the truth conditions associated with a proposition are. The theory then explains how such truth conditions can lead to the truth value true, by the right fact existing.