english: Finally, because \({\textit{pred}}(n) \subseteq \textit{var}(n) \subseteq \textit{var}(N_c)\), we push the selection again and obtain
non_english: Duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim duim