Redirecting to Principle of bivalence