execute is a form of punishment