Manuscript Em01-B@3 · Em01-B-v3.tex · section · 69189992
Cutoff, mollifier, and chart issues are different
Auxiliary choices, local limits, and normalization › Cutoff, mollifier, and chart issues are different · lines 1763–1771
Therefore a future limit is first a local limit for specified auxiliary choices. It becomes an independent, compatible, normalized construction only after the corresponding comparison and normalization conditions have been proved.