 Yeah, there was a lot of discussion about that as the lawmakers flooded out of the Capitol last week in connection with finishing up all those appropriations bills we just talked about. So there's going to be, obviously, a huge amount of discussion about the campaign. And then in July, while there are some working days that they can get more done, when you look at the calendar for August, there is literally one day in session for the U.S. House of Representatives today.