Algebraic_theory loading ...