Die Arbeit eines Mathematikers besteht zu 5 % aus kreativer Einsicht und zu 95 % aus Selbstüberprüfung — Vladimir Voevodsky (Fields-Medaille, 2002)