Now let Z = (C (C (B N (S I I)) Ω) I) now consider the term (S I I Z).
现在设 Z = (C (C (B N (S I I)) Ω) I) 现在考虑项（S I I Z）。