No automatic verification would flag misunderstood business logic

People make mistakes in their verification code the same way they make mistakes in their actual code.

There is something about this "business logic" that I don't understand:

>Because the TITAN price falls to 0 which we have unthought of, the contract will revert the redemption transaction.