Text: Totals may not sum due to rounding.
Entailment: The totals may not be the actual sum due to rounding.
Contradiction: All totals will be exactly correct every time.