 However, this assumes that E is a condition where water exists (or existed at one time). Yet the incompatibilist’s reductio need not assume that (McKinsey 1994; 2002; 2007). One can first see the incompatibilist as presenting a dilemma, corresponding to two ways that EXT might be interpreted. On the first reading, EXT holds that a water thought logically or conceptually implies some environmental condition E. Yet for the incompatibilist, logical or conceptual implications are apriori. So if EXT on this first reading is true, (1) is apriori (and nothing here prejudges what E  is).[12]