  Ordinary first-order logic has the property that two formulas \phi and \psi
have the same meaning in a structure if and only if the formula ``\phi iff
\psi'' is true in the structure. We prove that independence-friendly logic does
not have this property.
