Irreducible_ideal loading ...