The truthmaker principle expresses the ontological aspect of the neo-classical correspondence theory. Not merely must truth obtain in virtue of word-to-world relations, but there must be a thing that makes each truth true. (For one view on this, see Merricks (2007).)