I'm actually rather encouraged by the developments of the last few days. It sounds as though we're going to have a Republican budget out of the House budget committee and probably passed on the floor. I'm not going to like it, but at least, we will have that side represented. And then with any luck, we will get a Democratic budget out of the Senate and a compromise between the two. We've got to get back to the regular budget process. We've abandoned that with super committees and all kinds of other things that haven't worked. So I'm hopeful.