 right, JD Vance, well, they're gonna have to have an election to replace JD Vance. Same thing with Marco Rubio. Now, in the case of all three of those, what's interesting is those are three people who are coming from Republican states that have Republican governors. So there's a likelihood that they would be replaced by a Republican in that slot.