Principle of bivalence