 So he would have to step down before August 7th, because by August 7th, it would happen. He's got the votes. That would be it. But let's say but let's sketch out some scenarios here. It is still possible in advance of the convention for the rules committee to meet August.