So, could this be solved by ensuring that any nested update (whether add or remove) in the map results in an increment to the clock and dot?