 That thing comes out. It looks so bad. There's a lot of Republicans who actually come out privately and publicly and say, we've got to switch it out, like go with Pence or something like that. It was a desperate time. They thought for sure they were going to lose at that point.