e.g.) he were trying to prove that the knowledge of contraries is one, and were to claim that the knowledge of opposites in general is one for then he seems to be postulating, along with a number of other things, that which he ought to have proved by itself.