 A second philosophical topic is the connection between a CA-world and one of the most famous and controversial contemporary metaphysical theses, namely David Lewis’ Humean Supervenience (HS). Using Ned Hall’s characterization (see section on  Humean supervenience in the entry on David Lewis’s metaphysics),  we can state HS as the collection of these four claims about the structure of our world: