Peirce's Law/Strong Form