Title: Comp Formal Euclidean Geom (v1) Hb