 For example, if this algorithm is applied to the term \(\lambda xyz.x(yz)\) (that is, to the \(\lambda\)-translation of \(\textsf{B}\)), then the resulting term is \(\textsf{B}\).  However, if \(\eta\) is omitted then a much longer term results, namely, \(\textsf{C}(\textsf{BB}(\textsf{BBI}))(\textsf{C} (\textsf{BBI})\textsf{I})\).  Another algorithm, for example, consists of clauses (i), (k) and (s).