Supercommutative_ring loading ...