Hello. I am a compatibilist. I've studied Peter van Inwagen's consequence argument and am widely read on the other literature. I've since left school, but would like to discuss the genre. After much thought, I've come away from this area of study with the idea that the problem (for incompatibilists) is that there is no really good formal thesis of determinism. Put another way, there is no suitable version of determinism that works for a formal argument (like vanInwagen's or McKay and Johnson).