 by the time the electoral college voted on December the 17th, that way all of the electors could give their full votes to each one of the individuals. Sure. Yep. Interesting. And Todd was talking, Todd was talking about some weird scenarios where there'd be a Democrat for VP and the Republican president. He didn't quite understand that. What that used to be is when, when we first started voting back in 17, whatever,