 His justification of this claim would appear in LT.  Indeed Boole used only the secondary expressions of MAL to  express propositions as equations in LT, but there the  reader will no longer find a leisurely and detailed treatment of Aristotelian logic—the discussion of this subject is delayed until  the last chapter on logic, namely Chapter XV (the only one in LT to  analyze particular propositions). In this chapter the application of his algebra of logic to Aristotelian logic is presented in such a compressed form  (by omitting all details of  the reduction, elimination and solution steps), concluding with such long  equations, that the reader is not likely to want to check that Boole’s analysis is correct. 