 Boole’s Chapter XI Of Secondary Propositions is parallel to the treatment in MAL except that he changed from using the cases when \(X\) is true to the times when \(X\) is true. In Chapter XIII Boole selected arguments of Clarke and Spinoza, on the nature of an eternal being, to put under the magnifying glass of his algebra of logic, starting with the comment (LT, p. 185):