Text: Auditors should use cost models to look for discrepancies with the cost and schedule estimates established for an acquisition.
Entailment: Auditors ought to search for cost and schedule discrepancies using cost models.
Contradiction: Auditors must avoid at all costs the use of cost models.