"In that work Aristotle introduces the distinction between accidental predication and per se predication in order to explain why 'Homer is' does not follow from 'Homer is a poet'." . . . .