Applying this, both The gold is in the safe and The gold is not in the safe are predicted to be false. Indeed, in the situation imagined, the universe of discourse contains only two bits of gold, a and b, and their join a∨b. So [gold] = a∨b = 1, [is in the safe] = a, [is not in the safe] = −a =  b.[13]