The Pex screencast was a bit mysterious without sound and comments. I've added a 'storyboard' to help you understand it:
http://research.microsoft.com/pex/screencast.aspx
Page rendered at Thursday, July 24, 2008 5:13:00 AM UTC
Disclaimer The opinions expressed herein are my own personal opinions and do not represent my employer's view in anyway.