For there are three things in demonstrations: one, what is being demonstrated, the conclusion (this is what belongs to some genus in itself); one, the axioms (axioms are the things on which the demonstration depends); third, the underlying genus of which the demonstration makes clear the attributes and what is accidental to it in itself.