 \(\mathcal X\) is \(\Sigma_1^1\)-definable in \(M\), that is, there exists a \(\Sigma_1^1\) sentence \(\Psi(R)\), over the vocabulary of \(M\) plus the new \(|V|\)-ary relation symbol \(R\), such that 