On Aristotle's "prior Analytics 1.1-7"