 Before I forget, I'd like to wish you all, those who celebrate, I'd like to wish you all a happy 4th of July. Happy 4th of July to those of you who don't celebrate. Everyone should have a happy 4th of July, whatever your political stripe. And this year we get to celebrate the takeover of the country by the Federalist Society. It's going to be a great holiday.