Since we think we understand when we know the explanation, and there are four types of explanation (one, what it is to be a thing; one, that if certain things hold it is necessary that this does; another, what initiated the change; and fourth, the aim), all these are proved through the middle term.

Posterior Analytics, 94a, 20–4