execution is a form of punishment