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

Hypothesis: External auditors and internal auditors cannot be separated when testing software.
Relation: contradiction