Dit is maanden in de maak geweest. Wat me super blij maakt, is dat OSec een totaal andere benadering heeft gekozen dan Certora, maar uiteindelijk dezelfde eigenschappen heeft bewezen. (Certora bewees de interne logica, OSec bewees het vanuit het handler-niveau) Het was een genoegen om samen te werken met @NotDeGhost