 The fundamental idea is this: when empty terms deprive a formula of truth-value, supervaluational semantics nevertheless accounts it true (or false) if all possible ways of assigning referents to those terms agree in making it true (or false). This strategy restores validity to many principles that would lose it in an ordinary neutral semantics. The following instance of the law of noncontradiction: