WIP eqc for crdt update