It is easy to see that division by genera is a small part of the method we have described; for division is, so to speak, a weak deduction; for what it ought to prove, it begs, and it always deduces something more general than the attribute in question.