 If the Categorical Analysis is correct, then free will is incompatible with determinism. According to the thesis of determinism, all deterministic possible worlds with the same pasts and laws of nature have the same futures (Lewis 1979; van Inwagen 1983, 3). Suppose John is in deterministic world \(W\) and refrains from raising his hand at time \(t\). Since \(W\) is deterministic, it follows that any possible world \(W^*\) that has the same past and laws up to \(t\) must have the same future, including John’s refraining from raising his hand at \(t\). Therefore, John lacked the ability, and thus freedom, to raise his hand.