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