  where, say, the variable \(x_1\) is the one that replaced ‘true’. Having specified the conditions under which \(p\) has some property realizing \(F\), functionalists can then derive another material biconditional stating that \(p\) is true iff \(p\) has some property realizing the \(F\)-role.