Lenne még egy minimális adalék:

Ha φ egy 'tulajdonság', vagyis egy számhoz logikai értéket rendel
(ilyen például a Z (is-zero), vagy a π (is-prime)), akkor jó lenne
ha lenne hozzá egy olyan logikai kombinátor, ami megmondja, hogy melyik
a legkisebb nemnegatív egész szám, amelyre a tulajdonság igaz.
(Ha φ semelyik számra nem teljesül, akkor a 'minimalizáló' kimenete bármi lehet, csak szám nem.)

Legyen az A segédfüggvény olyan, amelyre:

Aφn = (φn)n(Aφ(sn))

ez azt fejezi ki, hogy az n számtól kezdve melyik a minimális szám,
amire teljesül a φ tulajdonság.

ekkor a μ minimalizátor legyen a CA0, ugyanis
μφ = CA0φ = Aφ0 ami nem más, mint a minimális nemnegatív egész szám, amire teljesül a φ tulajdonság.

Kieg: a fenti A-ra példa:

A = θ(B(S(BSW))(C(BC(BB))s)), ekkor
A = B(S(BSW))(C(BC(BB))s)A = S(BSW)(C(BC(BB))sA)φ
Aφ = S(BSW)(C(BC(BB))sA)φ = BSWφ(C(BC(BB))sAφ) = S(Wφ)(B(Aφ)s)
Aφn = S(Wφ)(B(Aφ)s)n = Wφn(B(Aφ)sn) = φnn(Aφ(sn))