Den här har tagit månader att göra. Det som gör mig superglad är att OSec tog ett helt annat grepp om Certora, men det slutade med att de visade sig ha samma egenskaper. (Certora bevisade den inre logiken, OSec bevisade den från handlernivå) Det har varit ett nöje att arbeta med @NotDeGhost