Generalised André-Pink-Zannier conjecture

Let $\Gamma\backslash X^+$ be a Shimura variety, let $V$ be an algebraic subvariety of it, and let $x\in X^+$. Write ${\mathcal{H}}_{\Gamma\backslash X^+}(x)$ for the generalised Hecke orbit of $x$. Generalised André-Pink-Zannier conjecture. The Zariski closure of $V\cap {\mathcal{H}}_{\Gamma\backslash X^+}(x)$ is a finite union of weakly special subvarieties of $\Gamma\backslash X^+$. This is a common generalisation of André–Oort- and André–Pink–Zannier-type statements; its status is not resolved in the source.