Modular André–Oort with derivatives

Let $V\subsetneq\mathbb{C}^{3n}$ be an algebraic variety. A $J$-special subvariety is an irreducible component of the Zariski closure of the image under $J$ of an $\mathbb{H}$-special subvariety. Modular André–Oort with derivatives. There is a finite collection of proper $\mathbb{H}$-special subvarieties $U_i\subsetneq\mathbb{H}^n$, $i=1,\ldots,k$, such that every $J$-special subvariety of $V$ is contained in a $J$-special variety of the form $\langle\langle\gamma U_i\rangle\rangle$ for some $\gamma\in\operatorname{SL}_2(\mathbb{Z})^n$ and some $i$. The source describes this as a special case of the modular Zilber–Pink-with-derivatives conjecture and gives no resolution.