Thus all the results substitution referred to in I arc true under ordinary usage no matter what the substituted statements may be; hence such results of substitution are, under ordinary usage, true statements involving nothing essentially beyond the iridiom and the !