Quantum_gauge_theory loading ...