  He added (MAL, p. 17) the commutative law \(xy = yx\) and the index law \(x^n = x\)—in LT the latter would be replaced by the law of duality \(x^2 = x\) (called the idempotent law in 1870 by the Harvard mathematician Benjamin Peirce (1809–1880), in another context).