Text this: The classification of finite simple groups :