If the Inmarsat-C terminal is inoperative...