dragging on: Aristotle goes a long way to explain the different properties of premises, which are so well known in western thought (and here especially in mathematics) that we can nearly skip them.

Or is anything unclear or worthy of discussion here?