17: add the tgd (e →ψ) to Σ'

18: end for

19:j=i+j

20: end for

21: return Σ'