Algebraic_set loading ...