ah a proof by counterexample