Ideal_of_a_ring loading ...