The Classification of the Finite Simple Groups, Number 10 nidottuEnglanti, 2023