Text: Four are essential to case study  iteration, OTTR, triangulation, and ruling out rival explanations.
Entailment: Four are needed for making sure the rival explanations are ruled out.
Contradiction: Four are needed for making sure the rival explanations are in fact correct.