 I believe there was a 63-page decision. I didn't get a chance to read all of it because we were here, but I did go through part of it. And it made a lot of sense to me. I know that they're going to appeal that decision. And let's see what a higher court has to say. The Biden administration instructed the DOJ yesterday to appeal that decision. So for now, those charges are dropped.