CRDT over MuxDemux