Premise: parts 11 and 614 must be exhausted.

Hypothesis: Only part 614 has to be exhaustsed.
Relation: contradiction