Arbeidet til en matematiker består av 5 % kreativ innsikt og 95 % selvverifisering — Vladimir Voevodsky (Fields-medaljen, 2002)