Supervaluationism violates classical inference rules: under supervaluational semantics, 'A or not-A'...