No. The OS will not be reduced. The OS is the official count of shares that are already free trading in the market. A share buyback would be needed for that. A reduction in debt, which is what is being talked about here, while not reducing the OS, would reduce the need to further sell shares into the market.