Boole did not fundamentally change the lines of his research after publishing The Mathematical Analysis of Logic (Boole 1847; hereafter "MAL"). His logic was still mathematics applied to logic; consequences were to be drawn from premises rendered in algebraic form by means of expansion theorems which in effect solved class equations; logical expressions might (not) be interpretable; the role of signs remained prominent; language was still focused upon nouns and adjectives, although its role in general was still emphasised; classes were analysed in terms of part and whole; disjunction was defined only for disjoint classes; and so on.