@darius love this detail:

> The correctness of the Kermit protocol has been verified with formal methods.

good times