Added to the concatenation semantics on explicit substitutions.