You could also say that the only valid reason for the counter to decrease is an overflow or a reset. In case a counter decreases, it is reset. This still doesn't cover scenarios where the previous value of the counter is less then the value after reset (for example because of the small node uptime) -- but this is why external signals for the "reset" event are needed.