Denne har vært måneder underveis. Det som gjør meg superglad er at OSec tok en helt annen tilnærming til Certora, men endte opp med å bevise de samme egenskapene. (Certora beviste den indre logikken, OSec beviste fra handlernivå) Vært en glede å jobbe med @NotDeGhost