Verified Vector Clocks: An Experience Report, Part 3 | Dark Hacker News