section_heading: Kombinatori B, C
paragraph_text: Motivacija je u ovom slučaju ta da su B i C ograničene verzije od S. Dok S prima vrijednost i spustituira je i u aplikandu i argumentu prije obavljanja aplikacije, C obavlja supstituciju samo u aplikandu, a B samo u argumentu.