"This is the locally euclidean metrization"