In some theorems I replace like $S(\mu)$ with $S_1(\mu)$ and arbitrary paths with nonzero-length paths.