They say that Caliph Omar, when consulted about what had to be done with the library of Alexandria, ...