What is a practical usage of Code Contracts in .NET 4.0?

Question

In order to fully understand and take advantage of the new features and enhancements provided with the coming of the new .NET Framework 4.0, I would like to get an example of

Answer 1

There is a lot of places where contracts are used in .Net. >>Sources<<