...la Biblia de Jerusalén
Deuteronomio 19, 12-13
12 los ancianos de su ciudad mandarán a prenderle allí, y le entregarán
en manos del vengador de sangre, para que muera.
13 No tendrá tu ojo piedad de él. Harás desaparecer de Israel todo
derramamiento de sangre inocente, y así te irá bien.