The contract required MITS and Microsoft to use binding arbitration to settle disputes.
The fourth option had been to introduce binding arbitration in every case.