Now, that everything we seek is a search for a middle term is clear; let us now say how one proves what a thing is, and what is the fashion of the reduction, and what definition is and of what, first going through the puzzles about them.