Punishment, proportionality and principle