Infinite punishment for finite transgression violates proportionality as a structural feature of jus...