thank you grothendieck for your blessing