Zkusme to čím dál víc, aby nemohli nazývat naše vítězství snadným. Zkusme čím dál víc vkusných věcí, aby humbuk vypadal bez chuti. Zkusme redukci důkazů, aby věděli, že "poměr délky důkazu je poměr tvrdosti" je nesmysl. Pojďme být pštrosí a jdeme. Já fakt miluju příběhy o outsiderovi.