Spicy academic credit arguments. But a good overview of Grothendieck’s importance. Seems a lot of maths people go of the rails a bit in the end. Our unaxoimizable reality is so much less precise than the crystalline realms of pure maths. I think the experience of the crystalline realms may tend to shatter one a bit.