Loading paper
The Peirce axiom scheme and suprema | Tomesphere