 than Mike Pence, and I don't want to rewrite history in light of January 6th. The media, of course, cite him in his anti-Trump comments. In the 2016 race, he was very opposed. It was 2016. Where was he in 2020 vis-a-vis Trump?