 The following counterexample illustrates that one-step reductions of a term may yield terms that further do not reduce to a common term in one step. \(\textsf{SKK}(\textsf{KKS})\triangleright_1\textsf{SKKK}\) and \(\textsf{SKK}(\textsf{KKS})\triangleright_1\textsf{K}(\textsf{KKS}) (\textsf{K}(\textsf{KKS}))\), and then the potential reduction sequences are as follows.