 If you remember back to that time, Trump was still kind of wishy-washy with his party. There's still a lot of people who didn't like him, still a lot of people who were not won over by that he was going to be a good president. 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. It was a desperate time. They thought for sure they were going to lose at that point.