mnli 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.