This page has moved to /2009/03/03/DerivedValuesEnsureExecutableSpecification.