By M. Bedau, R. Crandall, and M. Raven.