Commutative_law loading ...