Vier alte Männer wollen den längsten Beweis der Mathematik komprimieren, damit der Überblick über die Klassifikation der endlichen einfachen Gruppen nicht mit ihnen stirbt.