Commutative_magma loading ...