I want to come back to one other issue that we've covered a couple of times, because it seems the opposition wants to play with timelines here. We've heard time and again that everyone had the impression that the shutdown would end in late November or early December. It was only on the weekend of November 30 that there began to be a realization that that shutdown could be extended quite a bit longer than that.
Is that information accurate? Generally, the expectation was that the shutdown could go to the end of November, or a little bit into December, but there was no sense that there was going to be a longer shutdown until that November 30-December 3 weekend.