Was Grothendieck betrayed?