while (n–->42) { std::cout << n; }

paxos

This website explains the infamously difficult to understand Paxos consensus protocol using easy to understand invariants and code.