a counterexample is a specific instance of the falsity of a universal quantification (a “for all” statement). [wikipedia]