Premise: Four are essential to case study  iteration, OTTR, triangulation, and ruling out rival explanations.

Hypothesis: Four are needed for making sure the rival explanations are in fact correct.
Relation: contradiction