 progress after the 4th of July on several of these appropriations bills. But then once we get into August, there's really not going to be anything happening. And then, of course, we jump into September. And while they're back in session, lo and behold, believe it or not, the early voting season starts yesterday.