Text this: Applying the classification of finite simple groups :