Seol mar théacs é seo: The foundations of euclidean geometry