geodesically complete