Divestment, according to its definition.