Refuting an objection to a claim is not proving the claim; killing one alternative explanation leaves the field open to a third. Named by the book as one of the two or three most heavily tested logical relations on the section, and the engine of the claim–objection–removal micro-text.