Where do you come up with a $1.6 billion deficit? There is currently a $6.1 billion surplus, which actually understates the strength of the budget, given debt deleveraging.