 It was actually pretty measured because they actually leave it up to the district court to decide whether this one instance regarding Trump is whether it's an official act or unofficial act. And I know the position of the Trump team is that it was an official act with the alternate slate of electors, for instance. So it's a very measured approach by the Supreme Court. And it's the one that is obvious, like what you mentioned, which I'm glad you did, Rachel.