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