André–Oort–Manin–Mumford conjecture

Let $T=S\times A$ be the product of a Shimura variety $S$ and an abelian variety $A$. A subvariety of $T$ is weakly special generic if it is not contained in any smaller weakly special subvariety of $T$. Let $X\varsubsetneq T$ be a weakly special generic closed irreducible subvariety. André–Oort–Manin–Mumford conjecture. The subset of special points of $T$ is not Zariski dense in $X$. This is one of three conjectures combining unlikely-intersection statements for Shimura and abelian varieties; the supplied text does not state a resolution.