  The traditional centerpiece of any correspondence theory is a definition of truth. Nowadays, a correspondence definition is most likely intended as a “real definition”, i.e., as a definition of the property, which does not commit its advocate to the claim that the definition provides a synonym for the term “true”. Most correspondence theorists would consider it implausible and unnecessarily bold to maintain that “true” means the same as “corresponds with a fact”. Some simple forms of correspondence definitions of truth should be distinguished (“iff” means “if and only if”; the variable, “x”, ranges over whatever truthbearers are taken as primary; the notion of correspondence might be replaced by various related notions):