tweak wording
Add to proof of sigma-star convergence