 And then the assassination attempt on President Trump, I think he would win by a very large margin if the election were today. But the election is not today. It's in November, and a lot can happen between now and then. Bruce Westerman, no longer to visit with us today.