 Since supervaluation semantics admits that the falsity of ‘\(∀n(\Phi\alpha_{n} \rightarrow \Phi\alpha_{n+1})\)’ is logically equivalent to the truth of ‘\(\exists n(\Phi\alpha_n \amp {\sim}\Phi\alpha_{n+1})\)’, the line-drawing form of the sorites is sound: it is supervaluationally valid since classically valid and its premises are uncontestably true. What supervaluation semantics claims to provide is a formal account of how, contrary to appearances, such a conclusion could be true; it is true since true no matter how one resolves the indeterminacy of the vague term involved (i.e., the soritical predicate).