 two lists that were coming out. I mean, of course, it threw out Tucker Carlson. You would love a John Jr. as VP. There were big lists that I think the media made up. You and I know it was likely Rubio, Berger, or J.D. Yes, J.D. My golden rule with VP picks...