 Eliminability criterion (semantic formulation): For any formula \(A\) of \(L^{+}\), there is a formula \(B\) of \(L\) such that, relative to all interpretations \(M, B\) is semantically equivalent in \(L^{+}\) to \(A\).