Lots of substitutions progress.