Then my final theme, on a related note, would be about the question of the dollars and cents in this bill—I say "cents", but, of course, it's all rounded, not only to the nearest $1,000, and fair enough too. But there are some pretty big numbers—$10 billion here and $10 billion there soon adds up when you're talking about real money, as the saying goes. 