one pass counterexample