Premise: Because many different packages are available, and because more than one can be used, auditors should determine what models, if any, are used in their agencies.

Hypothesis: Only a single package is available for use.
Relation: contradiction