Geodesics and Positive Curvature (HD)