Vrchol toho, jaké to je psát specifikaci Quint z prázdného souboru. Psaní nové specifikace pro konsensus Tendermint, nyní se všemi poznatky a technikami, které jsme vyvinuli za poslední 3 roky. Mojí oblíbenou částí jsou popisy běhů. Díky jejich psaní všechno tak dobře zapadlo!