An expressive theory of punishment. (2016)