 We may well be frustrated with how he's handled the war, but on most issues that Democrats care about, 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. But again, I think it's many families.