Not much more to report on the Spec# investigations. The overall approach holds a lot of promise, but I would say that currently it's a little early to consider its use for anything more than experimentation. I'm hoping that some of the features quickly migrate over to C#, although I doubt this will be happening in the 3.0 timeframe.