Text: 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.
Entailment: Auditors have the option of choosing a model to use.
Contradiction: Only a single package is available for use.