Abstract
The Consequence Argument is sound only if no one has a choice about the laws of nature, and one prominent compatibilist reply to the argument—championed by David Lewis —begins by claiming that there is a sense in which we do have such a choice, and a sense in which we don't. Lewis then insists that the sense in which we do have such a choice is the only sense required by compatibilism. Peter van Inwagen has responded that even if Lewis's distinction between two senses of having a choice about the laws is accepted, compatibilists are still committed to the incredible view that free will requires the ability to perform miracles. In this paper, I offer a reply to van Inwagen on Lewis's behalf.