Simplified counter example