[ikrima]

I mean you wouldn't be wrong to assume so but how can you expect anyone to saliently condense the entirety of a 10 year long proof of Grothendieck topos to 3 or 4 sentences my guy!