Redirecting to Law of noncontradiction