Aristotle's Prior Analytics book I