Premise: Type-5 Worksharing.

Hypothesis: Type-3 worksharing.
Relation: contradiction