On the distinctive principles of punishment and reformation