“…We thus choose some fresh channel d, i.e., d M ∪ (Mσ Γ ) ∪ dom(Γ) 12 , and define σ ′ Γ as σ Γ , except that it maps d to c and also maps σ −1 Γ (c) (i.e., the channel name that mapped to c in σ Γ ) to σ Γ (d), since this channel is not mapped to by d anymore (in order to preserve bijectivity):…”