Updated counter example.