That’s right, but they’re going to try to increase revenue before they cut spending.
I think they’ll default on the debt before they cut spending.