 The equivalence schema (ES-prop) allows us to use (7) (and therefore (9)) to express what it would otherwise require the unstatable (6) to express. For, on the basis of the schema, there is always an equivalence between whatever goes in for a sentence-in-use occurrence of the variable ‘\(p\)’ and a context in which that filling of the sentential variable is nominalized. This reveals how the truth predicate can be used to provide a surrogate for sentential variables, simulating this non-standard logical device while still deploying the standard object variables already available in ordinary language (‘it’) and the usual object quantifiers (‘everything’) that govern them.