Moduli_theory loading ...