This page moved to /2011/12/28/dichotomy/.