Direct_Algebraic_Logic loading ...