Premise: Internal auditors may be required to verify that the equipment or software pass the specified tests.

Hypothesis: The software cannot be checked by external auditors.
Relation: neutral