This is correct. There was never a discretionary exit from the contract. Any settlement would be a negotiated amount. In principle it could be less than $1B. Bu

This is correct. There was never a discretionary exit from the contract. Any settlement would be a negotiated amount. In principle it could be less than $1B. But accepting anything much short of the agreed price per share would have gotten the board sued by shareholders who, understandably, wanted the full amount.