ff061a892722ba27.tex
1: $-weak convergence of metrics, then over $