Unfortunately that's not really been the case in practice. It actually can be really hard to avoid writing code which has no potential for undefined...