If a contract is sufficiently simple, it seems to me like it could make sense.

However, I do think it is, or perhaps, would have been, important to put a lot of focus on moving to mathematically proven contracts.