 But E is an environmental condition that presumably can only be known empirically. So EXT and SK apparently lead to an absurd sort of apriori knowledge, and are thus incompatible. (Henceforth, call this argument “the reductio.”)