The large-characteristic conjecture for simple Lie rings of finite Morley rank

Let $\mathfrak{g}$ be an infinite simple Lie ring of finite Morley rank. Assume that its characteristic is sufficiently large. Large-characteristic conjecture. Then $\mathfrak{g}$ is a simple Lie algebra over an algebraically closed field. This predicts that sufficiently large characteristic eliminates genuinely non-linear simple Lie rings of finite Morley rank. The paper discusses this in the context of earlier work on Lie rings of finite Morley rank, while its stated results establish related classification conclusions in characteristic zero and exclude Morley rank $4$ in characteristic different from $2$ and $3$; the conjecture in the stated generality remains open.