 Then Bernays lists four groups, namely, axioms for the conditional \(\to\), for \(\land \) and \(\lor\) as above, and for negation \(\neg\). The axioms for the conditional are not only reflecting logical properties, but also structural features as in the later sequent calculus (and in Frege’s Begriffsschrift, 1879). 