In terms of the paying down of debt, I see we're down to 32.3% of GDP, which I think is quite remarkable given where we were 10 or 12 years ago. I think the mini budget announced another paydown, which I presume would occur by year-end, of another $10 billion or so. When the government pays down debt, I'm just curious, how do they do that? Is there maturing debt that comes on the market and they just don't roll it over? Do they go out on the market and buy up government bonds that are out there? If they do, do they buy long-term bonds, short-term bonds? What is the strategy in paying down debt?
On November 20th, 2007. See this statement in context.