Loading paper
Cut and conjugate points of the exponential map, with applications | Tomesphere