Premise: Totals may not sum due to rounding.

Hypothesis: All totals will be exactly correct every time.
Relation: contradiction