If you're able to ferret out the what from the code, then your code must be defect-free. Otherwise we need to know via the comment (contract) what is the what,

If you're able to ferret out the what from the code, then your code must be defect-free. Otherwise we need to know via the comment (contract) what is the what, so that we can fix the bug (or even know that there is a bug).