I don't mind having an assert on the initial value, it helps to establish the context, my question was if the two counter caches verify different behavior or if one would be enough.