CRDT implemented