It should be clear by now that, to get the most out of the Static Checker, you must use code Contracts all throughout your code.

既然要获得最大的静态检查器，则必须使用整个代码中的所有代码合同，它应该是清楚了。

youdao

Because life is dynamic, a risk assessment cannot be static, it too must be dynamic.

FORBES: Risk Assessments: The Most Important Effort You're Doing All Wrong