 So we're on the eve of the 4th of July. I want to turn to something more positive, and that is 4th of July is one of my favorite holidays, Christmas and 4th of July. You're so cheesy that way. I am, but I just love it. And I'm so grateful to live in this country. What are you guys doing? You've got young kids. I know you guys are traveling a little bit. What are you guys doing to celebrate the 4th of July and anything particular with the kids?