Correct me if I’m wrong, but isn’t Congress on vacation in August?
It’s been reported that Mitch is canceling the August recess.