Analysis of Aristotle's logic, with remarks