 With validity then defined in the usual way as preservation of truth (simpliciter), the supervaluationist account of validity coincides with classical validity. In particular, treating laws as zero-premise arguments, supervaluationism preserves all classical laws. Thus, despite its abandonment of bivalence, supervaluationism validates the law of excluded middle. For example, irrespective of the vagueness of ‘heap’ it is logically true of any number of grains of wheat that it either does or does not make a heap. As a consequence, supervaluation semantics is not truth-functional. It countenances instances of true disjunctions neither of whose disjuncts is (super) true. Conjunction and the conditional exhibit analogous non-classical features.