Il lavoro di un matematico è il 5% intuizione creativa e il 95% auto-verifica — Vladimir Voevodsky (Medaglia Fields, 2002)