A variety in punishment is of utility, as well as a proportion. - George Washington