An expressive theory of punishment.