 Schönfinkel proved that \(\textsf{S}\) and \(\textsf{K}\) suffice to define the other combinators he introduced, and we mentioned in the definition of \(\text{CL}_\triangleright\) that the set of constants is limited to \(\textsf{S}\) and \(\textsf{K}\), because other combinators could be defined from those.