Technically firing CEO was also at the board's discretion, so I'm dubious whether that means anything at this point.

The lawsuit won't be about the clause, it would be about the definition of AGI.