 TS-\(\exists\):  \(X \models \exists v \psi\) if and only if there exists some \(Y\), over the variables of \(X\) and \(v\), such that \(X_{\backslash v} = Y_{\backslash v}\) and \(Y \models \psi\). 