By the way, facetiously one could add "Bourbaki" to that list.