 They're stuck with him. And then after that, it would be an open convention if it happened. I don't think it will. And then what do you do? We saw Donald Trump ask his supporters publicly before this debate whether he should be aggressive or nice. Do you regret that he chose aggressive, especially given the performance of Joe Biden?