Averroes in his Long Commentary on the Posterior Analytics distinguishes the universal as a logical ...