Remark: What this trace does not record

The trace is computed from an actual metric derivative. It is not an independently adjoined boundary variable. It need not detect a step singularity whose delta coefficient vanishes. No complete classification of boundary microlocal singularities, and no identity $\ker \mathfrak{b}={\mathcal{M}}_1$, is asserted.