Refutable descriptions
Having refutable descriptions is useful
The primary reason is that such a description can be used to determine whether a program satisfies a requirement
Another is that it may help you think more clearly about what you are saying