excellent article.

> The key correctness insight is this: any two majorities of nodes must overlap in at least one node. So between any two consecutive global state changes — whether two commits, two leader elections, or one of each — at least one node participated in both.

intuitively makes sense, but would be nice to see this result explicitly derived or illustrated the same way the fano planes were.