Updated counter example back to original