In this article, I'll go through the concept and implementation of class invariants as supported by the .NET Framework 4 Code Contracts API. ...