rotatingpaguro comments on AI #48: Exponentials in Geometry