 Having replaced Boole’s fundamental operations with total operations, Jevons proceeded, over a period of many years, to work on the axioms and rules for his system. Some elements of equational logic that we now take for granted required a considerable number of years for Jevons to resolve: