 who at 39 or 40 years old will be over the next many years to lead the Republican Party. So I think a lot of that, the Vance choice, I think really sharpened this for a lot of Democrats, particularly those that might not have been so much in favor of considering a new nominee.