- Failed to parse (unknown function "\rarrow"): {\displaystyle ((P \rarrow Q) \land P) \to Q}
 | This is the user sandbox of Cycomachead. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here. Other sandboxes: Main sandbox | Template sandbox Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review! |