Tätä on valmisteltu kuukausia. Minut tekee erittäin iloiseksi se, että OSec otti täysin erilaisen lähestymistavan Certoraan, mutta päätyi kuitenkin todistamaan samat ominaisuudet. (Certora todisti sisäisen logiikan, OSec todisti käsittelijätasolta) Oli ilo työskennellä @NotDeGhost kanssa