The just man shall be glad, when he shall see vengeance; he shall wash his hands in the blood of a sinner. (The righteous shall be glad when they see the vengeance taken; they shall wash their hands in the blood of the sinners.)