 Well, I guess they could change him out. Let's say he decided in July he wanted to withdraw. He could still do the roll call with a replacement vote of some nominee. I don't know. They seem to be able to make their own rules. They complain Trump breaks all the rules, so they make their own as they go along. So it's an amazing thing.