Algebraic_ideal loading ...