Update _counting_ex4.md