 So I think we're going to see that happen. Of course, the big deal and the takeaways from last night, the Republicans, of course, officially nominated Donald J. Trump for president of the United States.