 According to the correspondence theory as sketched here, what is key to truth is a relation between propositions and the world, which obtains when the world contains a fact that is structurally similar to the proposition. Though this is not the theory Moore and Russell held, it weaves together ideas of theirs with a more modern take on (structured) propositions. We will thus dub it the neo-classical correspondence theory. This theory offers us a paradigm example of a correspondence theory of truth.