 We thank especially Christopher Bottomley, Eddy Chen, Nicholas DiBella, Michael Nielsen, Tom Ryckman, Jeremy Strasser, Timothy L. Williamson, and four anonymous referees for the Stanford Encyclopedia of Philosophy for their helpful discussion and comments, which led to many improvements.