 Given these definitions and distinctions, we can now take the first step towards clarifying the disagreement between compatibilists and incompatibilists. Both sides agree that it is conceptually and metaphysically possible for us to have free will; their disagreement is about whether any of the possible worlds where we have free will are deterministic worlds. The compatibilist says ‘yes’; the incompatibilist says ‘no’. Arguments for incompatibilism must, then, be arguments for the claim that necessarily, if determinism is true, we lack the free will we might otherwise have.