Mitch McConnell votes in the Senate by July 31?