The thirteen books of Euclid's Elements