 I'm so happy that everything has worked out well. And I'm glad J.D. Vance got it. I know people have complaints about him and all that. But I think he had more pluses than just about anybody. Everybody had a few pluses and some negatives, like every human being does. But I think he brings more to the table than most of them. So I'm glad that he's in there.