an executioner can kill a convict