counterexamples.v 9.99 KB