Premise: The six types are illustrative, critical instance, exploratory, program implementation, program effects, and cumulative.

Hypothesis: Removing programs from your work method is a critical requirement.
Relation: contradiction