The budget for the contract did not include options, only for the main machine. The options are expected to be activated upon new funding, if any during 2 years. Therefore, there is a discrepancy between the budgeted contract value and the contact's total value, which includes options.