So the counter is basically a commutative monoid partitioned across nodes, and merged at read time?
Yeah looks like we'll need ALL to be strongly consistent.