"Justice is of two kinds, justice in distribution and justice in rectification. ... Aristotle thinks primarily of setting things straight, and denies that rectificatory justice contains an element of 'tit for tat'."