Well, that's a function of two things. In terms of the rapid paydown, first, there was a large demobilization after the war effort, so expenditures, of course, came down very quickly. There was also, in the immediate period right after the war, essentially a very large economic boom. I mean, in terms of the demographic factors at the time, there was the baby boom. There was a natural resource boom with natural resource exports.
The growth rate of the economy, moving into the end of the 1940s and into the 1950s, saw economic growth, in real terms annually, in easily the 4% to 5% to 6% range some years. You have—