4 ms·

Can someone summarize how it achieves "provable correctness"?