Modular Zilber–Pink conjecture, optimal version

Let $n$ be a positive integer and let $V\subseteq\mathbb{A}_{\mathbb{C}}^{n}$ be an algebraic variety. For a subvariety $X\subseteq V$, define its defect by

$$\operatorname{def}(X)=\dim\operatorname{spcl}(X)-\dim X.$$

The subvariety $X$ is optimal in $V$ if every subvariety $W\subseteq V$ with $X\subsetneq W$ satisfies $\operatorname{def}(X)<\operatorname{def}(W)$, and $\operatorname{Opt}(V)$ denotes the set of all optimal subvarieties of $V$. Modular Zilber–Pink conjecture, optimal version. The set $\operatorname{Opt}(V)$ is finite. This is a formulation in terms of optimal subvarieties, which generalize maximal atypical components; its resolution is not specified in the source.