Two ways to crack a walnut, per Grothendieck | Blog