“…However, Corollary 13 states that in a certain (precise) sense for small times t we can approximate σ(T f t )(x, ξ) by σ(S t )(x, ξ) = σ(e −t(f •q)(x,D) )(x, ξ). Of course we have σ(e −t(f •q)(x,D) )(x, ξ) = e −tf (q(x,ξ)) , but according to the results in [2], e −tf (q(x,ξ)) is a certain approximation of σ(e −t(f •q)(x,D) )(x, ξ) for small t. (Note that Böttcher's results in [2] are extensions of Kumano-go's results [20] to Hoh's calculus. ) Thus in the end, our main result gives a first justification for using e −tf (q(x,ξ)) instead of σ(T f t )(x, ξ) (which we do not know!)…”