quality:corruption, information:highlighting
Gorenstein's program

In 1972 Gorenstein (1979, Appendix) announced a program for completing the classification of finite simple groups, consisting of the following 16 steps: