section_heading: Neformalni opis
paragraph_text: Valja uočiti da se iz ovih definicija može pokazati da SKI račun nije minimalni sustav koji u potpunosti može obaviti računanja lambda računa, s obzirom na to da sva pojavljivanja I u bilo kojem izrazu mogu biti zamijenjena sa (SKK) ili (SKS) or (S K nešto) ii rezultirajući će izraz uvijek dati isti rezultat. Stoga je "I" puki sintaksni šećer.