do not use `enforce` inside of contracts, #27