vector clocks are foremost a data type and not an algorithm