divestment.