Redirecting to Law of excluded middle