Discrete_logic loading ...