Law of bivalence