Redirecting to Peirce's law