almost counterexample