principle of substitutivity