  which does not actually say anything itself (it is not truth-evaluable) and cannot be turned into a genuine generalization about truth, because of its essential reliance on the schematic letter “p”, a mere placeholder. The attempt to turn (7) into a generalization produces nonsense along the lines of “For every x, “x” is true iff x”, or requires invocation of truth: “Every substitution instance of the schema ““p” is true iff p” is true”. Moreover, no genuine generalizations about truth can be accounted for on the basis of (7). Correspondence definitions, on the other hand, do yield genuine generalizations about truth. Note that definitions like (1) and (2) in Section 3 employ ordinary objectual variables (not mere schematic placeholders); the definitions are easily turned into genuine generalizations by prefixing the quantifier phrase “For every x”, which is customarily omitted in formulations intended as definitions.