Definition
An assertion that depends on the specific data shown — like 'this method always works,' which one counterexample can disprove.
An assertion that depends on the specific data shown — like 'this method always works,' which one counterexample can disprove.