 So before we talk about the shooting, though, I want to start with news of the day here. Your fellow Ohioan J.D. Vance was just named Trump's running mate. I am told that your friends and your offices work closely together. But instead of asking you to sort of reflect on the pic, which I'm sure you're certainly happy about, Vance, as you know, was once a proud Never Trumper. And I'm wondering if you've ever talked to him about his MAGA conversion, given that you're friends, and what you'd make of that.