The classification of the finite simple groups | lit.salon