Leites' classification conjecture for simple Lie superalgebras in positive characteristic

Let $k_p$ be the ground field of characteristic $p$, with $p\geq 7$, and let $\mathfrak{g}$ be a finite-dimensional simple Lie superalgebra over $k_p$. The examples of Proposition 5.1.3 refer to the listed classical constructions in the positive-characteristic setting; the claim also concerns exceptional Lie superalgebras and algebras of Cartan type. Leites' classification conjecture. Every such $\mathfrak{g}$ is either one of the examples of Proposition 5.1.3, an exceptional Lie superalgebra, or a certain algebra of Cartan type. This is the positive-characteristic analogue of the classification theorem stated immediately beforehand; the precise list of exceptional and Cartan-type algebras remains to be established in the stated generality.