 (2) Counterexamples to one of the premises that are not also counterexamples to the conclusion (“local but not global counterexamples”): These require us to improve the proof by replacing the refuted premise with a new premise which is not subject to the counterexample and which (we hope) will do as much to establish the conclusion as the original refuted premise did.