Connexive_logic loading ...