  [All references to Spinoza’s Ethics use the form of PartTypeNumberSubtype (so “EIp4d” means Part One, Proposition Four, Demonstration). Other variants of types include “d” for definition, “ax” for axiom, and “le” for lemma. Other subtypes include “s” for scholium and “c” for corollary. Spinoza’s letters are cited as Ep, using their standard numbering. All other citations from Spinoza’s corpus are cited by volume/page of Edwin Curley’s Collected Works, from which all translations are also taken.