Comment by bramcohen

The whole point of using a proper CRDT is that it's easy to reason about what it does. It took me a while to figure out the details of how to build one.