Morse_theory loading ...