We're not going to default. We just won't default. I mean, there are ways of not defaulting even if you don't raise the debt ceiling, and even if you don't fund the government.