This page has moved. Redirecting to /blog/2010/09/19/small-sample-of-using-code-contracts/.