This page has moved to /2009/03/05/ConstrainedNon-Determinism.