  Proponents of strongly contraction-free responses hold that MP′ doesn’t properly express the relevant form of modus ponens. They typically present their own form of that rule in a “substructural” framework, specifically one that lets us distinguish between what follows from a premise taken once and what follows from the same premise taken twice. (See  the entry on  substructural logics.)  Accordingly, MP′ needs to be replaced by