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

Hypothesis: There are only two important types out of the six.
Relation: neutral