Title: Euclid's parallel postulate