Before revision: The Consequence argument is an argument against compatibilism formulated by Peter van Inwagen.
After revision: The consequence argument is an argument against compatibilism formulated by Peter van Inwagen.