 All that might come into play, and the bill, the House has already passed its bill. It started out very bipartisan, but all the social riders, the kind of things you talked about, were tacked onto that bill and eroded the Democratic support pretty significantly on the House version. The Senate version has come out of committee and could come up maybe before the August recess or later in the year. They're trying to figure that out. I think a challenge there might be more than 840 amendments have been filed to it on things that don't directly affect defense, but because defense is...