https://sookocheff.com/post/time/vector-clocks/