Peirce's law (source code)

= Peirce's law
{wiki=Peirce's_law}