principle of substitution