http://www.bestechvideos.com/2009/07/03/dimecasts-net-123-exploring-code-contracts-taking-a-look-at-object-invariant-conditions BestTechVideos: Recently Added Comments for DimeCasts.Net #123: Exploring Code Contracts: Taking a look at Object Invariant Conditions