 Thanks to Saul Kripke, Nuel Belnap, Jørgen Albretsen, Torben Braüner, Alex Malpass, Jacek Wawer, and the anonymous reviewers of the Stanford Encyclopedia of Philosophy for very helpful comments on earlier drafts.