Alexander Grothendieck quotes