add section on vector clocks