Comment 2 for bug 629661

I thougt after reading the manual that theory is the general test not depends on special data. But the programmer only can give the borders and data, which might be a problem.
By the way, what I have missed in the manual: Assume is for precondition, Assert for postcondition and it can be used for programming by contract.