A with and of with is what is just in distribution, and this species of the just is intermediate, and the unjust is what violates the proportion; for the proportional is intermediate, and the just is proportional.