 The graph model of CL maps terms into subsets of \(\omega\). To start with, the combinators have concrete sets as their interpretations. As a simple example, \(\textsf{I}= \{(n,m)\colon m\in e_n\}\). Of course, each pair corresponds to an element of \(\omega\), hence, we get a set of natural numbers. In particular, some of the elements are \(\{1,6,7,11,15,23,29,30, \ldots\}\).