So all the money from the sales of the manufacturing operations, $3 billion, is going to a share buyback program, which is to say that instead of being used to create new wealth, it will simply be redistributed from the company to investors.