 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.