A Theory of Differential Punishment