> having this kind of convenience let you be lazy about design Or, conversely, this kind of correctness by construction allows you to focus on parts of the pro

> having this kind of convenience let you be lazy about design Or, conversely, this kind of correctness by construction allows you to focus on parts of the program that could suffer from non-trivial bugs