Premise:  "Add those up.
Hypothesis: Those have to be subtracted.
Label: contradiction