Non-abelian_gauge_theory loading ...