Well, I think the code needs to be clear enough that you don't want to document unnecessarily. In general, I think code contracts should be documented, as rest

Well, I think the code needs to be clear enough that you don't want to document unnecessarily. In general, I think code contracts should be documented, as restrictions on solutions that programmers may need to be aware of. But comments are not a substitute for clear code.