Denis's Mordell–Lang conjecture for Drinfeld modules

Let $K$ be a field extension of ${\mathbb F}_p(t)$, let $\Phi$ be a Drinfeld module of generic characteristic over $K$, let $X\subseteq {\mathbb G}_a^g$ be a subvariety, and let $\Gamma\subseteq K^g$ be a finitely generated $\Phi(R)$-module, where $R={\mathbb F}_p[t]$. Denis's Mordell–Lang conjecture. The intersection $X(K)\cap\Gamma$ is a finite union of translates of $\Phi(R)$-submodules of $\Gamma$. This is the Drinfeld-module analogue of the Mordell–Lang conjecture for abelian varieties. The paper presents it as the motivation for its local-to-global results, but the conjecture remains open in the stated generality.