WIP on dotted version vector