I 操作如下式：

設 y 不出現在 M 中，則可將式中所有 λx[M] 以 λy[Sx,yM|] 取代。此說明了受限變元可用其它未於 M 中出現之名稱替換，確保此操作不會造成兩個變元名稱重覆。