Re: Grothendieck translation