Error text.
Geodesics and Negative Curvature (HD)