Introduction_to_gauge_theory loading ...