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 Monday, October 13, 2008 11:30:20 AM UTC
Disclaimer The opinions expressed herein are my own personal opinions and do not represent my employer's view in anyway.