Around the time I studied there as an undergraduate, the massive programme of ‘classifying finite simple groups’ had been ...