There's more work to be done, but what's different this time? Let's go to spectrum right now. How much of the spectrum has been resold in our industry for profit from those who bought original spectrum? I think we're up to $30 billion that we've actually charged for spectrum, or close to that. How much of that has been resold?
We could even use Videotron as an example. How much have they resold of their spectrum? What type of profit have they made from reselling spectrum, which is a public asset?