Vector clocks for lottery.