composition of substitution