Law of substitution