Embed Notice

@greyarea Formal verification is interesting, but too complicated for me. I'm in favor of simple, immutable contracts, and thorough unit testing.
DeFi apps are hacked all the time because they are insanely complicated, and their contracts are constantly replaced via "governance", so it's not possible for a user to properly review them.