 Well, I hope so. So let's get into some of the breaking news. Just a half hour or so ago, maybe an hour, we heard that President Trump is choosing J.D. Vance, the senator from the great state of Ohio, as his running mate. I think it's a very good pick. I was pulling for Ben Carson, I'll be honest with you. Big fan of Dr. Carson. How did you feel about the announcement? How do you feel about J.D. Vance being the guy?