Re: Was Grothendieck betrayed?