 Hence, since by  (5),  \(\bFm/\theta(T) \in \bK\), it follows that if \(\Gamma \not\vdash_{\bL }\phi\), then there is an algebra \(\bA \in \bK\) (namely \(\bFm/\theta(T))\) and a valuation \(v\) (namely \(id)\) such that the elements of \(\bv[\Gamma]\) satisfy the equation on \(\bA\) but \(\bv(\phi)\) does not.