[Zibulon]

Just for the records, Grothendieck maybe "disappeared", but he also died a couple of months ago, it was all over the press...

[contingencies]

Grothendieck was Satoshi!