That construct polluted his code with a verificati...
# announcements
l
That construct polluted his code with a verification that wasn't necessary, and I thought of using contracts for that.