Irreducible_element loading ...