Cocommutative loading ...