A recent article by Jeff Kochan contains a discussion of modus ponens that among other thing alleges that the paradox of the heap is a counterexample to it. In this note I show that it is the conditional major premise of a modus ponens inference, rather than the rule itself, that is impugned. This premise is the contrapositive of the inductive step in the principle of mathematical induction, confirming the widely accepted view that it is the vagueness of natural language (...) predicates, not modus ponens , that is challenged by Sorites. (shrink)