mnli 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.