 Now, virtually the only way to avoid EFQ is to give up disjunctive syllogism, that is, given the usual definitions of the connectives, modus ponens! So altering basic sentential logic in this way is radical indeed – but possible. Unfortunately, even giving up EFQ is not enough to retain a semblance of NC. One also has to give up the following additional theorem of basic sentential logic: