1: $ in the strict sense. Then we have convergence of traces,

2: $