3b.4 Vector clocks