User:Cycomachead/sandbox


 * $$((P \rarrow Q) \land P) \to Q$$