Bij het lezen van veiligheids- en levendigheidsbewijzen van consensusprotocollen heb ik een patroon waargenomen, een sjabloon waarin een vaste set van quorumintersectielemmata altijd nodig is. Als dit waar is, kunnen we dit dan niet gewoon schrijven als een stel lego-dozen in formele taal en deze dozen altijd laten draaien voor elk nieuw consensusprotocol? Het lijkt erop dat R&D van nieuwere consensusprotocollen op basis van app-laagvereisten versneld kan worden, in plaats van jaren te wachten.