 The axiom schemas for the combinators \(\textsf{S}\),\(\textsf{K}\) and \(\textsf{I}\) are as follows. Note that the axiom for \(\textsf{S}\) is not simply a substitution instance (with new connectives included) of the previous axiom for \(\textsf{S}\).