  Using the Expansion Theorem Boole showed (MAL, p. 64) that every elective equation \(p = 0\) is equivalent to the collection of constituent equations \(r = 0\) where the modulus (coefficient) of \(r\) in the expansion of \(p\) is not zero, and thus every elective equation is interpretable. Furthermore this led (MAL, p. 65) to the fact that \(p = 0\) is equivalent to the equation \(q = 0\) where \(q\) is the sum of the constituents in the expansion of \(p\) whose modulus is non-zero. 