 If we can get Trump and J.D. Vance across the finish line this year, that means that Mike DeWine is going to have to appoint a senator to take his Senate seat and finish out J.D.'s term, which I think he's got four more years on. You know who lives in Ohio or who has a residence in Ohio? Bhavik Ramaswamy.