% References cited in https://agora.t9k.dev/t/353/a-three-manifold-without-conjugate-points-or-nonpositive-curvature