17: add the tgd (e →ψ) to Σ'
18: end for
19:j=i+j
20: end for
21: return Σ'