Tente criar a partir de $\psi$ uma fórmula que esteja em $X$.