Redirecting to Laws of classical logic