 As mentioned earlier, three-quarters of the way through his brief book of 1847, after finishing derivations of the traditional Aristotelian syllogisms in his system, Boole announced that his algebra of logic was capable of far more general applications. Then he proceeded to add general theorems on developing (expanding) terms, providing interpretations of equations, and using long division to express one class in an equation in terms of the other classes (with side conditions added).