 It can then be argued that NC leads directly, not merely to an isolated contradiction, but to triviality. (For the argument that this is so, see the entry on  Curry’s paradox,  section 2.2. Note too that it is not enough merely to retain the name “modus ponens”; it is the rule itself that becomes modified within non-traditional logics.) Thus it seems that the woes of NC are not confined to Russell’s paradox but also include a negation-free paradox due to Curry.