This is a counter example.