Title: Comp Formal Euclidean Geom (v1)