First, I'd like to clarify that when you referred to the $1-trillion market debt, it also takes into consideration the debt of the crown corporations. You need to distinguish the federal debt, or the debt of the federal government by itself—which is about $700 billion right now—and you need to add about $330 billion to capture the crown's debt. Basically that's the way that you would come closest.
This is the market debt, so that's the debt that is financed on the market. Basically it's different from the net debt that we often refer to when you look at the net debt-to-GDP. This is basically the overall debt of the government plus some of its liabilities, which you net out of the assets the government owns right now.