 Since all of the forms taken by the sorites paradox are classically valid, they are also supervaluationally valid. The conclusion of the conditional form using Modus Ponens is resisted by noticing that some conditional premise fails to be true; though, admittedly, none is false. The conditional sorites is valid but unsound. More revealing is the diagnosis of the version employing a universal major premise. This version is also deemed unsound due to the failure of one of the premises—the universal premise. The universally quantified conditional is not true; in fact it is false. While there is no one conditional premise that is false, it is nonetheless true according to supervaluation theory that some conditional is. That is to say, it is true that some n is such that it’s not the case that if \(\Phi\alpha_{n}\) then \(\Phi\alpha_{n+1}\) (where ‘\(\Phi\)’ is soritical relative to the subjects of the form \(\alpha_{n}\)).