Text this: El verdugo de Sevilla;