Hinzu kam, dass er sich in den 2000er Jahren mit höherdimensionaler Kategorietheorie befasste, was zu sehr technischen und umfangreichen Beweisen führte mit entsprechender Anfälligkeit für schwer zu entdeckende Fehler.