If you write too many preconditions, postconditions, invariants etc. Then you cement your software and you will spend most of your time on the tests rather than

If you write too many preconditions, postconditions, invariants etc. Then you cement your software and you will spend most of your time on the tests rather than on the actual useful software