That also, then, includes the other 2015 auction, the 2,500 megahertz band, which is another $1 billion. There was the residential spectrum licences for the remaining 700 megahertz as well.
In total, Canadians have received from their government over $14 billion with regard to spectrum auctions in recent history, so it's hard to believe we've ended up with a revenue stream of $14 billion and some of the highest prices and some of the least coverage in rural areas. Why do you think that's the case? We've received record amounts of unaccounted-for money in terms of it being required for anything.
With the spectrum auction, for those who aren't aware, you're selling off land rights and air rights. That's like water. It's something that there is no cost to do for the Canadian government, so it's pure revenue for the government.
Why do you think there's been no allocation of these resources to rural broadband, especially given the high prices we have?