To make punishments efficacious, two things are necessary. They must never be disproportioned to the offence, and they must be certain.