 that we're willing to shut the government down based on that. So it still exists. It still exists in the Republican Party. But the fact is, as we have said before, the worst enemy for the Democrats has not necessarily been the Republicans. It's reality. Well, economics doesn't care.