Counter Example
Counter:
0
increment
decrement
show