5 kyu

Loading Kata: Classical Axioms: Peirce's Law-Equivalent