 (3) Counterexamples both to the conclusion and to (at least one of) the premises (“global and local counterexamples”): These can be dealt with by incorporating the refuted premise or lemma into the original conclusion, as a condition of its correctness. For example, a picture-frame is a polyhedron with a hole or tunnel in it: