Abstract_algebraic_logic loading ...