The CRDT part of Bender