User blog comment:C7X/CNF Comparison Algorithm/@comment-35470197-20200110045759/@comment-37485018-20200110055220

What do I do if the definition of \(T\) relies on \(\sum\), but the domain of \(\sum\) is \(T\)? Is that a circular reference, like how \(T\) can't be defined using \(<\), so I had to use normal forms?