This page has moved to /2011/12/07/PolymorphicConsistency.