 J.D. Vance, Tim Scott, all of those are excellent, excellent choices. So the good news is, is in the Republican Party, we have a strong, strong bench, and he has a lot of good options, and that's what you want. You want good options. So I think any of those would be excellent, excellent picks.