Not a lot of new traffic on the forums today but they are good ones! Q: Is the checking of contracts in static code analysys implemented in beta 1? A: Static checking of contracts is available as a DevLabs download here: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx