Premise: Examples include edit checks of data entered, accounting for transactions in numerical sequences, comparing file totals with control

Hypothesis: Comparing file totals with control is not an example
Relation: contradiction