Dialectical_logic loading ...