Konečně jsem se svým porozuměním YieldCoinu v bodě@CertoraInc, kdy mohu přejít k formálnímu ověření změn, které jsem provedl. Budu úplně upřímný: je to těžké, jsem zahlcen a neustále se dívám na dokumentaci a studuji testy, které @contractlevel již provedl, ale Certora je velmi mocný nástroj, takže přichází s územím. Neexistuje jiný způsob, jak to udělat, než projít procesem ztracení, zmatení, frustrace, zahlcení (a každého dalšího slova, na které si vzpomenete), dokud to nezačne dávat smysl a není to dovednost, kterou jsem odhodlán dále rozvíjet.