 And I'd like to see more of these really communists. That's what they are. They're Marxist communists. Have them lose. All right. Well, Congressman, we're going to leave it there. Good intel and appreciate the great work you're doing up on Capitol Hill. Todd, have a wonderful Fourth of July. You are a patriot and a credit to the nation, and I really appreciate you.