Crimes are more effectually prevented by the certainty than the severity of punishment