Commutation_theory loading ...