 In a recent paper, Charles Morgan (Morgan 2000) has argued that nonmonotonic logic is impossible. Morgan offers a series of impossibility proofs. All of Morgan’s proofs turn on the fact that nonmonotonic logics cannot support a generalized deduction theorem, i.e., something of the following form: