En matematikers arbete består till 5 % av kreativ insikt och 95 % av självverifiering — Vladimir Voevodsky (Fieldsmedaljen, 2002)