Adam Smith and the Theory of Punishment