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: There are dozens of packages that are all unique.