Definition of substitution