Mathematiker können Lücken schließen, Fehler korrigieren und detailliertere und sorgfältigere wissenschaftliche Erkenntnisse liefern, wenn sie dazu aufgefordert oder motiviert werden. Unser System ist ziemlich gut darin, zuverlässige Theoreme zu erstellen, die solide untermauert werden können. Es ist nur so, dass die Zuverlässigkeit nicht in erster Linie dadurch entsteht, dass Mathematiker formale Argumente formal prüfen; Es kommt von Mathematikern, die sorgfältig und kritisch über mathematische Ideen nachdenken.