Definition of "divests"