SMS dit: Finite simple groups;