 I think J.D. Vance is somebody who has been very loyal to Donald Trump. He's done a huge U-turn after once saying that he was a never-Trumper. And he has been a real attack dog for Donald Trump. He's constantly on the conservative media here, really pitching for Mr. Trump and backing all his policies, the Make America Great Again policies. So in that respect, I don't think it's too much of a surprise that Mr. Vance is his running mate.