Algebraic_structure loading ...