#counterexample