Error text.
Geodesics and Positive Curvature (HD)