The locally nilpotent epsilon-derivation conjecture

Let $K$ be a field of characteristic $0$, let $\mathcal A$ be a $K$-algebra, and let $\delta$ be a locally nilpotent $K$-derivation or $K$-$\varepsilon$-derivation of $\mathcal A$. Here, a derivation satisfies $\delta(ab)=\delta(a)b+a\delta(b)$, while an $\varepsilon$-derivation satisfies $\delta(ab)=b\delta(a)+a\delta(b)-\delta(a)\delta(b)$; locally nilpotent means that every element is annihilated by some positive power of $\delta$. The locally nilpotent epsilon-derivation conjecture. For every ideal $I$ of $\mathcal A$, the image $\delta(I)$ is a Mathieu–Zhao subspace of $\mathcal A$. The paper presents this as a major conjecture it does not prove, concerning images of locally nilpotent derivations and epsilon-derivations.