 So we're on the eve of the Fourth of July. I want to turn to something more positive, and that is Fourth of July is one of my favorite holidays, Christmas and Fourth 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 Fourth of July and anything particular with the kids?