 And it was used for insulation and on some of the stuff that they were doing for that. And yet, look, I mean, everybody's got it in their kitchens now. We use it on a fairly regular basis. Reynolds wrap, right? Like it's a big thing. And they bought the rights to it. So I think it's perfectly fine and it's a great thing in this country where you have government and private entities working together on certain things. That makes sense in the context of defense. That makes a lot of sense for obvious reasons.