Default_logic loading ...