title: Code Contracts in C# 4.0+ / Visual Studio 2013
body: <p>I'm pretty sure I tried to use Code Contracts in C# code by just including a reference to System.Diagnostics.Contracts Namespace <a href="http://goo.gl/wZIg54" rel="nofollow">http://goo.gl/wZIg54</a> .</p>
  
  <p>But Code Contracts for .NET page suggests I need to download MSI package. Why is it so? Are Code Contracts built-in into .NET / C# or not?</p>