En topp på hvordan det føles å skrive en Quint-spesifikasjon fra en tom fil. Skriver en ny spesifikasjon for Tendermint-konsensus, nå med all læring og teknikker vi har utviklet de siste 3 årene. Min favorittdel er løpebeskrivelsene. Å skrive dem fikk alt til å klikke så bra!