https://1library.org/document/qo5x2ld0-why-logical-clocks-are-easy.html