 By adopting De Morgan’s convention of using upper-case/lower-case letters for complements, Jevons’ system was not suited to provide equational axioms for modern Boolean algebra. However, he refined his system of axioms and rules of inference until the result was essentially the modern system of Boolean algebra for ground terms, that is, terms where the class symbols are to be thought of as constants, not as variables.