Seol mar théacs é seo: An essay on the foundations of geometry.