Premise: In pure type-1 worksharing, the analysis of the decision and the benefits is simple.

Hypothesis:  Type-1 work sharing is complicated and worthless.
Relation: contradiction