 In a very elementary setting one may consider the interplay between just a single sentential negation, \(\osim\), and the derivability relation, \(\vdash\), as well as single antecedents and single conclusions. The following inferential principles are stated as proper rules with one derivability statement (sequent) or two such statements as assumption sequent(s) and a single sequent as the conclusion, or as axiomatic sequents without any assumption sequent: