 I am grateful to Rachel Cristy for exchanges that helped me work out basic ideas for the structure and contents of this entry. Joshua Landy, Andrew Huddleston, Christopher Janaway, and Elijah Millgram provided helpful feedback on a late draft, and each saved me from several errors.