A variety in punishment is of utility, as well as a proportion.
The writings of George Washington (ed. 1835)
