Equation Icon  || Γ [φ] = Γ k[φ]| . (C.24 ) k=kdec(φ)