 So thank you for the disruption. We're going to get right back to Dan Bongino here. Once again, if you've just tuned in, J.D. Vance, chosen and now officially nominated by the Republicans, the National Republican Committee, and there you have your ticket. And we are set. It is Donald Trump and J.D. Vance on one side. It is, at least for now, Joe Biden and presumably Joe Biden and Kamala Harris on the other side. But...