Text: Internal auditors may be required to verify that the equipment or software pass the specified tests.
Entailment: The software has to be verified by the auditors.
Contradiction: External auditors and internal auditors cannot be separated when testing software.