 I've not done every word, every semicolon of the draft that we saw yesterday, this document and then the opinion that actually released. But it gets to the same result. So it's an internal matter, a mistake that was made there. I'm sure a very unpleasant day for some employees there within the Supreme Court. But it does look like it was simply a mistake and it wasn't anything that affected votes or changed anything with the ultimate outcome of the opinion, which was actually released a day later.