 For his single rule of inference Jevons chose his principle of substitution—in modern terms this was essentially a combination of ground replacement and transitivity. He showed how to derive transitivity of equality from this; he could have derived symmetry as well but did not. The associative law was missing—it was implicit in the lack of parentheses in his expressions.