July and August's 387 million are shares issued for debts and services. So they will not be getting retired, sold maybe, but for sure not retired.