But the Just which arises in transactions between men is an equal in a certain sense, and the Unjust an unequal, only not in the way of that proportion but of arithmetical.[12] Because it makes no difference whether a robbery, for instance, is committed by a good man on a bad or by a bad man on a good, nor whether a good or a bad man has committed adultery: the law looks only to the difference created by the injury and treats the men as previously equal, where the one does and the other suffers injury, or the one has done and the other suffered harm. And so this Unjust, being unequal, the judge endeavours to reduce to equality again, because really when the one party has been wounded and the other has struck him, or the one kills and the other dies, the suffering and the doing are divided into unequal shares; well, the judge tries to restore equality by penalty, thereby taking from the gain. For these terms gain and loss are applied to these cases, though perhaps the term in some particular instance may not be strictly proper, as gain, for instance, to the man who has given a blow, and loss to him who has received it: still, when the suffering has been estimated, the one is called loss and the other gain. And so the equal is a mean between the more and the less, which represent gain and loss in contrary ways (I mean, that the more of good and the less of evil is gain, the less of good and the more of evil is loss): between which the equal was stated to be a mean, which equal we say is Just: and so the Corrective Just must be the mean between loss and gain. And this is the reason why, upon a dispute arising, men have recourse to the judge: going to the judge is in fact going to the Just, for the judge is meant to be the personification of the Just.[13] And men seek a judge as one in the mean, which is expressed in a name given by some to judges (μεσίδιοι, or middle-men) under the notion that if they can hit on the mean they shall hit on the Just. The Just is then surely a mean since the judge is also. So it is the office of a judge to make things equal, and the line, as it were, having been unequally divided, he takes from the greater part that by which it exceeds the half, and adds this on to the less. And when the whole is divided into two exactly equal portions then men say they have their own, when they have gotten the equal; and the equal is a mean between the greater and the less according to arithmetical equality.