una función de verdugo