section_heading: Konverzija lambda termina u ekvivalentan kombinatorni termin
paragraph_text: Kombinatorno je predstavljanje (S (K (S I)) (S (K K) I)) mnogo dulje od predstavljanja preko lambda termina λx.λy.(y x). Ovo je tipično ponašanje. Općenito, T[&nbsp;] konstrukcija može proširiti lambda termin duljine n u kombinatorni termin duljine Θ(3<sup>n</sup>).