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: Auditors have the option of choosing a model to use.
Relation: entailment