But but look at all the Turing Award and Putnam Prize winners he was worked with.