 President Trump announced his choice of J.D. Vance, a senator from Ohio, as his running mate. Quite a difference there from what people were probably expecting. He was in that name, or in those names that were being circulated, of course. So was our own governor, Governor Sanders. So his selection, what did you make of that? 39 years old from a very important state of Ohio, of course, in election history. What was your takeaway from his selection?