One genuine counterexample refutes a universal affirmative claim of the form “Every A is B.”Induction: Complete and Incomplete Enumeration, Certainty and Probability