 Now suppose that S is a statement which specifies the physical nature of the actual world and S* is a statement which specifies the total nature of the world. (It might be that neither S nor S* are expressible in languages we can understand, but let us set this aside.) Then physicalism tells us in addition that that: 