Hereditary_ring loading ...