  so as to isolate the \(\tau\)-terms from the non-theoretical (‘old, original, other’) \(o\)-terms. Fourthly, all instances of ‘true’ and other cognate or closely related \(\tau\)-terms are then replaced by subscripted variables \(x_1 , \ldots ,x_n\). The resulting open sentence is prefixed with existential quantifiers to bind them. Next, the Ramsey sentence is embedded in a material biconditional; this allows functionalists to then specify the conditions by which a given truth-apt sentence \(p\) has a property that plays the \(F\)-role: