 Later, in his Pure Logic from 1864, Jevons changed Boole’s partial operation of union of disjoint sets to the modern unrestricted union and eliminated Boole’s questionable use of uninterpretable terms (see Jevons 1890). Peirce (1880) eliminated explicitly the Aristotelian derivation of particular statements from universal statements by giving the modern meaning for “All \(A\) is \(B\)”. In addition, he extended the algebra of logic for classes to the algebra of logic for binary relations and introduced general sums and products to handle quantification. Ernst Schröder, taking inspiration from previous work by Hermann (1809–1877) and Robert Grassmann (1815–1901) and using the framework developed by Peirce, developed and systematized the 19th Century achievements in the algebra of logic in his three-volume work Vorlesungen über die Algebra der Logik (1890–1910).