 Thanks, Juan. I have nothing against Rubio. I've always liked Rubio for a while. And so it looks like the jousting is continuing. J.D. Vance v. Doug Berg. The predicted markets show J.D. Vance as the favorite, and I just can imagine the knives are out right now. J.D. Vance is ascending in his likelihood of potentially becoming Trump's vice presidential selection.