 I don't know if there's any specific number. Ultimately, this is going to be his decision. And every politician has their own incentives, and they tend to be pretty risk-averse. And so there are a lot of Democratic politicians who have had their own concerns privately and have thought to themselves, I don't want to go out and talk about this in public. What is the point of undermining my party's nominee and making it more likely that Donald Trump gets reelected, which is something I really don't want?