Algebraic_logic loading ...