 So that's what has to happen to initiate a 25th Amendment proceeding. And then if the president himself contests it, then there could be a role for the legislature. But absent a contested situation, the legislature really doesn't have a say in this.