 \(\textsf{TK}nxy=n\textsf{K}xy\), and if \(n\) is zero, that is, \(n=  \textsf{I}\), then by another step \(\textsf{K}xy\) and then \(x\) results; whereas if \(n\) is positive, then after a few more reductions, one gets \(\textsf{KI}xy\), that is, \(y\). The two terms, \(\textsf{K}xy\) and \(\textsf{KI}xy\), hint toward an interpretation of \(\textsf{K}\) and \(\textsf{KI}\) as truth and falsity, or they can be viewed as terms that can select, respectively, the first or the second argument. These ideas may be further developed into definitions of truth functions and a representation of tuples.