 Brett, we're just getting an update from the White House as we await the president's remarks that the president is rescheduling his planned trip to Austin, Texas. It was originally planned for tomorrow, July 15th, a Monday, but the president is rescheduling that. And it brings up a bigger point about