In the second half of book 1 of the Prior Analytics, Aristotle reflects on the application of the formalized logic he has developed in the first half, focusing particularly on the non-modal or assertoric syllogistic developed in the first seven chapters.