Counterexamples and domain eligibility
A counterexample must belong to the claimed domain and falsify the universal predicate. An outside value or failure to find a counterexample does not by itself prove the original statement.
atlas-counterexample · canonical_mko