 for Salas in Milwaukee. Rob, that's exactly right. Senator J.D. Vance, the freshman senator from Ohio, now the official running mate of former President Donald Trump. Look, the former president made the announcement on truth, so we're calling Vance someone who championed the hardworking men and women of the country and is