Under the supervaluation interpretation, all formulas provable in classical quantification theory become true in Ls; under the Kleene valuation, one could say only that they were true whenever they were defined.