  Determinism so stated is a supervenience thesis: as Schaffer (2007: 115) puts it, ‘A world \(w\) is deterministic iff: for all times \(t\) in \(w\), the total occurrent history of \(w\) supervenes on the occurrent state of \(w\) at \(t\) together with the laws of \(w\).’