Listing all finite simple groups was a major achievement in contemporary group theory