 I think what we do know is that J.D. Vance is very, very close with Donald Trump Jr. Donald Trump Jr. is a close personal friend of his. When I talked to Vance a couple of months ago, he said they text on a daily basis. And we do know that Donald Trump Jr. was lobbying very, very hard for his father to pick J.D. Vance.