 I don't know. That's a good question. They don't do anything. They don't do anything. No, probably not. That's kind of a joke. It's like, what does the rest of the world do on Fourth of July? Do they celebrate ours? Probably not. Probably not into it. Not into it. I understand. So maybe it's a day of mourning. It's like, oh, we had them for a while, and then we lost them.