 He's delivered or certainly what they don't want is another Trump presidency. So that's the kind of debate they've been having. And they said, look, there's been shouting matches at Thanksgiving. They talk about it almost every time they meet. Right now, they're agreeing to disagree on what to do about it in November.